| Mon, 30 Jun 2014 10:34:28 +0200 |
wenzelm |
removed obsolete Isar system commands -- raw ML console is normally used for system tinkering;
|
file |
diff |
annotate
|
| Mon, 12 Sep 2011 07:55:43 +0200 |
nipkow |
new fastforce replacing fastsimp - less confusing name
|
file |
diff |
annotate
|
| Wed, 11 Aug 2010 18:41:06 +0200 |
wenzelm |
modernized specifications;
|
file |
diff |
annotate
|
| Mon, 01 Mar 2010 13:40:23 +0100 |
haftmann |
replaced a couple of constsdefs by definitions (also some old primrecs by modern ones)
|
file |
diff |
annotate
|
| Fri, 13 Nov 2009 14:14:04 +0100 |
nipkow |
renamed lemmas "anti_sym" -> "antisym"
|
file |
diff |
annotate
|
| Sat, 21 Feb 2009 20:52:30 +0100 |
nipkow |
Removed subsumed lemmas
|
file |
diff |
annotate
|
| Wed, 07 Jun 2006 01:06:53 +0200 |
wenzelm |
removed obsolete ML files;
|
file |
diff |
annotate
|
| Tue, 06 Sep 2005 16:59:53 +0200 |
wenzelm |
converted to Isar theory format;
|
file |
diff |
annotate
|
| Thu, 04 May 2000 15:15:37 +0200 |
paulson |
changed 2 to #2
|
file |
diff |
annotate
|
| Fri, 24 Jul 1998 13:03:20 +0200 |
berghofe |
Adapted to new datatype package.
|
file |
diff |
annotate
|
| Thu, 04 Dec 1997 09:05:59 +0100 |
nipkow |
Simplified proofs.
|
file |
diff |
annotate
|
| Fri, 10 Oct 1997 19:02:28 +0200 |
wenzelm |
fixed dots;
|
file |
diff |
annotate
|
| Fri, 30 May 1997 15:21:21 +0200 |
paulson |
Replacement of "divides" by "dvd" from Divides.thy, and updating of proofs
|
file |
diff |
annotate
|
| Tue, 25 Jun 1996 13:11:29 +0200 |
berghofe |
Changed argument order of nat_rec.
|
file |
diff |
annotate
|
| Fri, 08 Mar 1996 13:11:09 +0100 |
clasohm |
added constdefs section
|
file |
diff |
annotate
|
| Mon, 05 Feb 1996 21:29:06 +0100 |
clasohm |
expanded tabs; incorporated Konrad's changes
|
file |
diff |
annotate
|
| Wed, 29 Nov 1995 17:01:41 +0100 |
clasohm |
removed quotes from consts and syntax sections
|
file |
diff |
annotate
|
| Fri, 17 Nov 1995 09:04:10 +0100 |
nipkow |
New directory.
|
file |
diff |
annotate
|