| #
ed7a971e |
|
05-Jan-2019 |
wenzelm <none@none> |
isabelle update -u control_cartouches;
|
| #
f5796e6d |
|
14-Feb-2018 |
wenzelm <none@none> |
more symbols;
|
| #
5385dbfa |
|
16-Jan-2018 |
wenzelm <none@none> |
standardized towards new-style formal comments: isabelle update_comments;
|
| #
feca4ab8 |
|
10-Dec-2015 |
wenzelm <none@none> |
isabelle update_cartouches -c -t;
|
| #
f67d856d |
|
25-Mar-2015 |
wenzelm <none@none> |
prefer local fixes;
|
| #
794edf80 |
|
02-Nov-2014 |
wenzelm <none@none> |
modernized header uniformly as section;
|
| #
12379cec |
|
18-Feb-2011 |
wenzelm <none@none> |
modernized specifications;
|
| #
deac04eb |
|
22-Jul-2010 |
wenzelm <none@none> |
updated some headers;
|
| #
ae4d171a |
|
13-Jul-2010 |
paulson <none@none> |
Fixed syntax and tidied some proofs
|
| #
a5f328ca |
|
12-May-2010 |
wenzelm <none@none> |
modernized specifications;
|
| #
baea5702 |
|
01-Mar-2010 |
haftmann <none@none> |
replaced a couple of constsdefs by definitions (also some old primrecs by modern ones)
|
| #
079cde2d |
|
17-Oct-2009 |
wenzelm <none@none> |
eliminated hard tabulators, guessing at each author's individual tab-width;
tuned headers;
|
| #
7715eb70 |
|
03-Dec-2008 |
wenzelm <none@none> |
sources are not executable;
|
| #
66d1a4dc |
|
17-Mar-2008 |
wenzelm <none@none> |
renamed K3_imp_Gets variant to K3_imp_Gets_evs;
|
| #
7b63d2a6 |
|
11-Jul-2007 |
berghofe <none@none> |
Adapted to new inductive definition package.
|
| #
cd65d9bc |
|
16-Nov-2006 |
wenzelm <none@none> |
more robust syntax for definition/abbreviation/notation;
|
| #
8d37dcbe |
|
28-Sep-2006 |
wenzelm <none@none> |
replaced syntax/translations by abbreviation;
|
| #
26bd3ee2 |
|
01-Feb-2006 |
paulson <none@none> |
new and updated protocol proofs by Giamp Bella
|