| Thu, 03 Jan 2019 21:15:52 +0100 |
wenzelm |
isabelle update -u mixfix_cartouches;
|
file |
diff |
annotate
|
| Thu, 23 Jul 2015 14:25:05 +0200 |
wenzelm |
isabelle update_cartouches;
|
file |
diff |
annotate
|
| Sun, 02 Nov 2014 16:39:54 +0100 |
wenzelm |
modernized header;
|
file |
diff |
annotate
|
| Tue, 06 Mar 2012 16:06:52 +0000 |
paulson |
Using mathematical notation for <-> and cardinal arithmetic
|
file |
diff |
annotate
|
| Tue, 06 Mar 2012 15:15:49 +0000 |
paulson |
mathematical symbols instead of ASCII
|
file |
diff |
annotate
|
| Thu, 01 Mar 2012 17:13:54 +0000 |
paulson |
Removal of obsolete ML bindings
|
file |
diff |
annotate
|
| Sun, 20 Nov 2011 20:15:02 +0100 |
wenzelm |
eliminated obsolete "standard";
|
file |
diff |
annotate
|
| Fri, 18 Feb 2011 16:22:27 +0100 |
wenzelm |
more precise headers;
|
file |
diff |
annotate
|
| Mon, 06 Sep 2010 19:13:10 +0200 |
wenzelm |
more antiquotations;
|
file |
diff |
annotate
|
| Sat, 13 Mar 2010 16:44:12 +0100 |
wenzelm |
removed old CVS Ids;
|
file |
diff |
annotate
|
| Sun, 07 Oct 2007 21:19:31 +0200 |
wenzelm |
modernized specifications;
|
file |
diff |
annotate
|
| Sun, 07 Oct 2007 15:49:25 +0200 |
wenzelm |
replaced some 'translations' by 'abbreviation';
|
file |
diff |
annotate
|
| Fri, 17 Jun 2005 16:12:49 +0200 |
haftmann |
migrated theory headers to new format
|
file |
diff |
annotate
|
| Sun, 14 Jul 2002 15:14:43 +0200 |
paulson |
improved presentation markup
|
file |
diff |
annotate
|
| Tue, 09 Jul 2002 23:05:26 +0200 |
paulson |
better document preparation
|
file |
diff |
annotate
|
| Tue, 02 Jul 2002 13:28:08 +0200 |
paulson |
Tidying and introduction of various new theorems
|
file |
diff |
annotate
|
| Sat, 22 Jun 2002 18:28:46 +0200 |
paulson |
converted Bool, Trancl, Rel to Isar format
|
file |
diff |
annotate
|
| Tue, 18 Jun 2002 18:45:07 +0200 |
paulson |
tidying
|
file |
diff |
annotate
|
| Thu, 10 Aug 2000 11:27:34 +0200 |
paulson |
installation of cancellation simprocs for the integers
|
file |
diff |
annotate
|
| Thu, 23 Jan 1997 10:40:21 +0100 |
wenzelm |
turned some consts into syntax;
|
file |
diff |
annotate
|
| Fri, 03 Jan 1997 15:01:55 +0100 |
paulson |
Implicit simpsets and clasets for FOL and ZF
|
file |
diff |
annotate
|
| Fri, 29 Mar 1996 10:54:44 +0100 |
paulson |
Mended indentation
|
file |
diff |
annotate
|
| Tue, 06 Feb 1996 12:27:17 +0100 |
clasohm |
expanded tabs
|
file |
diff |
annotate
|
| Sat, 09 Dec 1995 13:36:11 +0100 |
clasohm |
removed quotes from consts and syntax sections
|
file |
diff |
annotate
|
| Fri, 23 Dec 1994 16:49:48 +0100 |
lcp |
Re-indented declarations; declared the number 2
|
file |
diff |
annotate
|
| Fri, 16 Dec 1994 17:39:43 +0100 |
lcp |
put quotation marks around constant "and" because it is a
|
file |
diff |
annotate
|
| Tue, 29 Nov 1994 00:31:31 +0100 |
lcp |
replaced "rules" by "defs"
|
file |
diff |
annotate
|
| Tue, 16 Nov 1993 14:24:21 +0100 |
clasohm |
made pseudo theories for all ML files;
|
file |
diff |
annotate
|
| Thu, 30 Sep 1993 10:10:21 +0100 |
lcp |
ex/{bin.ML,comb.ML,prop.ML}: replaced NewSext by Syntax.simple_sext
|
file |
diff |
annotate
|
| Thu, 16 Sep 1993 12:20:38 +0200 |
clasohm |
Initial revision
|
file |
diff |
annotate
|