| Thu, 26 Apr 2007 14:24:08 +0200 |
wenzelm |
eliminated unnamed infixes, tuned syntax;
|
file |
diff |
annotate
|
| Fri, 07 Oct 2005 22:59:19 +0200 |
wenzelm |
replaced _K by dummy abstraction;
|
file |
diff |
annotate
|
| Fri, 17 Jun 2005 16:12:49 +0200 |
haftmann |
migrated theory headers to new format
|
file |
diff |
annotate
|
| Tue, 01 Jun 2004 12:33:50 +0200 |
wenzelm |
removed obsolete sort 'logic';
|
file |
diff |
annotate
|
| Wed, 19 Feb 2003 10:53:27 +0100 |
paulson |
fixed anomalies in the installed classical rules
|
file |
diff |
annotate
|
| Thu, 23 Jan 2003 10:30:14 +0100 |
paulson |
tidying (by script)
|
file |
diff |
annotate
|
| Tue, 01 Oct 2002 13:26:10 +0200 |
paulson |
Numerous cosmetic changes, prompted by the new simplifier
|
file |
diff |
annotate
|
| Wed, 28 Aug 2002 13:08:50 +0200 |
paulson |
various new lemmas for Constructible
|
file |
diff |
annotate
|
| Tue, 27 Aug 2002 11:09:33 +0200 |
wenzelm |
avoid duplicate fact bindings;
|
file |
diff |
annotate
|
| Sun, 14 Jul 2002 19:59:55 +0200 |
paulson |
Removal of mono.thy
|
file |
diff |
annotate
|
| Sun, 14 Jul 2002 15:14:43 +0200 |
paulson |
improved presentation markup
|
file |
diff |
annotate
|
| Tue, 02 Jul 2002 22:46:23 +0200 |
paulson |
conversion of QPair to Isar
|
file |
diff |
annotate
|
| Sat, 29 Jun 2002 21:33:06 +0200 |
paulson |
conversion of many files to Isar format
|
file |
diff |
annotate
|
| Tue, 18 Jun 2002 18:45:07 +0200 |
paulson |
tidying
|
file |
diff |
annotate
|
| Tue, 12 Jan 1999 15:17:37 +0100 |
wenzelm |
eliminated global/local names;
|
file |
diff |
annotate
|