Mon, 21 Jan 2002 11:25:45 +0100 |
paulson |
lexical tidying
|
file |
diff |
annotate
|
Wed, 16 Jan 2002 17:52:06 +0100 |
paulson |
Isar version of AC
|
file |
diff |
annotate
|
Mon, 21 May 2001 14:45:52 +0200 |
paulson |
X-symbols for set theory
|
file |
diff |
annotate
|
Fri, 04 Dec 1998 10:42:53 +0100 |
paulson |
locales: assumes and defines may be empty
|
file |
diff |
annotate
|
Fri, 11 Sep 1998 16:32:31 +0200 |
paulson |
tidied using locales
|
file |
diff |
annotate
|
Thu, 16 Oct 1997 13:43:42 +0200 |
wenzelm |
fixed dependencies;
|
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
|
Tue, 25 Jul 1995 17:31:53 +0200 |
lcp |
Numerous small improvements by KG and LCP
|
file |
diff |
annotate
|