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
|