| Fri, 17 Jun 2005 16:12:49 +0200 |
haftmann |
migrated theory headers to new format
|
file |
diff |
annotate
|
| Thu, 28 Aug 2003 01:56:40 +0200 |
skalberg |
Extended the notion of letter and digit, such that now one may use greek,
|
file |
diff |
annotate
|
| Wed, 24 Jul 2002 00:13:41 +0200 |
wenzelm |
AC18: meta-level predicate via locale;
|
file |
diff |
annotate
|
| Mon, 21 Jan 2002 11:25:45 +0100 |
paulson |
lexical tidying
|
file |
diff |
annotate
|
| Fri, 18 Jan 2002 17:46:17 +0100 |
paulson |
tidied
|
file |
diff |
annotate
|
| Wed, 16 Jan 2002 17:52:06 +0100 |
paulson |
Isar version of AC
|
file |
diff |
annotate
|
| Tue, 18 Dec 2001 15:03:27 +0100 |
paulson |
replaced lepoll_lesspoll_lesspoll, lesspoll_lepoll_lesspoll
|
file |
diff |
annotate
|
| Mon, 21 May 2001 14:45:52 +0200 |
paulson |
X-symbols for set theory
|
file |
diff |
annotate
|
| Thu, 13 Jan 2000 17:31:30 +0100 |
paulson |
a bit of tidying
|
file |
diff |
annotate
|
| Fri, 03 Jan 1997 15:01:55 +0100 |
paulson |
Implicit simpsets and clasets for FOL and ZF
|
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, 28 Jul 1995 11:02:22 +0200 |
lcp |
Ran expandshort and changed spelling of Grabczewski
|
file |
diff |
annotate
|
| Thu, 22 Jun 1995 17:13:05 +0200 |
clasohm |
removed \...\ inside strings
|
file |
diff |
annotate
|
| Thu, 18 May 1995 11:51:23 +0200 |
lcp |
Krzysztof Grabczewski's (nearly) complete AC proofs
|
file |
diff |
annotate
|
| Tue, 25 Apr 1995 11:06:52 +0200 |
lcp |
Simple updates for compatibility with KG
|
file |
diff |
annotate
|
| Thu, 06 Apr 1995 12:19:34 +0200 |
lcp |
Moved some local definitions to WO6_WO1.ML
|
file |
diff |
annotate
|
| Fri, 31 Mar 1995 11:39:47 +0200 |
lcp |
New example of AC Equivalences by Krzysztof Grabczewski
|
file |
diff |
annotate
|