#
8ecffcf0 |
|
23-Jul-2015 |
wenzelm <none@none> |
isabelle update_cartouches;
|
#
2257dcda |
|
02-Nov-2014 |
wenzelm <none@none> |
modernized header;
|
#
0551f7de |
|
01-Nov-2014 |
wenzelm <none@none> |
eliminated spurious semicolons;
|
#
ed870e69 |
|
15-Mar-2012 |
paulson <none@none> |
replacing ":" by "\<in>"
|
#
f902d62a |
|
06-Mar-2012 |
paulson <none@none> |
mathematical symbols instead of ASCII
|
#
29168e90 |
|
20-Nov-2011 |
wenzelm <none@none> |
eliminated obsolete "standard";
|
#
458a4961 |
|
13-Mar-2010 |
wenzelm <none@none> |
removed old CVS Ids; tuned headers;
|
#
e7a16ceb |
|
07-Oct-2007 |
wenzelm <none@none> |
modernized specifications; removed legacy ML bindings;
|
#
a7060872 |
|
17-Jun-2005 |
haftmann <none@none> |
migrated theory headers to new format
|
#
04246c0e |
|
21-Apr-2004 |
wenzelm <none@none> |
constdefs: proper order;
|
#
6f50ca35 |
|
23-Jan-2003 |
paulson <none@none> |
tidying (by script)
|
#
4b2cdd98 |
|
27-Aug-2002 |
wenzelm <none@none> |
avoid duplicate fact bindings;
|
#
43f1782a |
|
14-Jul-2002 |
paulson <none@none> |
Removal of mono.thy
|
#
d9f65115 |
|
14-Jul-2002 |
paulson <none@none> |
improved presentation markup
|
#
7aca62df |
|
02-Jul-2002 |
paulson <none@none> |
Tidying and introduction of various new theorems
|
#
9ff82ede |
|
26-Jun-2002 |
paulson <none@none> |
new theorems
|
#
f30e4125 |
|
24-Jun-2002 |
paulson <none@none> |
new lemmas
|
#
35c9abf2 |
|
23-Jun-2002 |
paulson <none@none> |
conversion of Sum, pair to Isar script
|
#
643fa461 |
|
22-Jun-2002 |
paulson <none@none> |
converted Bool, Trancl, Rel to Isar format
|
#
35633a0d |
|
18-Jun-2002 |
paulson <none@none> |
tidying
|
#
f3f91f1c |
|
03-Jan-1997 |
paulson <none@none> |
Implicit simpsets and clasets for FOL and ZF
|
#
49ebaab4 |
|
05-Feb-1996 |
clasohm <none@none> |
expanded tabs
|
#
cc52541b |
|
09-Dec-1995 |
clasohm <none@none> |
removed quotes from consts and syntax sections
|
#
38ec27bf |
|
28-Nov-1994 |
lcp <none@none> |
replaced "rules" by "defs"
|
#
ba6b9f3c |
|
21-Jun-1994 |
lcp <none@none> |
Addition of cardinals and order types, various tidying
|
#
5c777ea1 |
|
16-Nov-1993 |
clasohm <none@none> |
made pseudo theories for all ML files; documented dependencies between all thy and ML files
|
#
f253ef6a |
|
15-Sep-1993 |
clasohm <none@none> |
Initial revision
|