Thu, 23 May 2002 17:05:21 +0200 |
paulson |
new definition of "apply" and new simprule "beta_if"
|
file |
diff |
annotate
|
Wed, 22 May 2002 19:34:01 +0200 |
paulson |
more tidying
|
file |
diff |
annotate
|
Wed, 22 May 2002 18:11:57 +0200 |
paulson |
tidying up
|
file |
diff |
annotate
|
Tue, 21 May 2002 13:06:36 +0200 |
paulson |
converted domrange to Isar and merged with equalities
|
file |
diff |
annotate
|
Sat, 18 May 2002 20:08:17 +0200 |
paulson |
converted Arith, Univ, func to Isar format!
|
file |
diff |
annotate
|
Fri, 03 Jan 1997 15:01:55 +0100 |
paulson |
Implicit simpsets and clasets for FOL and ZF
|
file |
diff |
annotate
|
Mon, 15 Aug 1994 18:04:10 +0200 |
lcp |
ZF/func/empty_fun: renamed from fun_empty
|
file |
diff |
annotate
|
Tue, 16 Nov 1993 14:24:21 +0100 |
clasohm |
made pseudo theories for all ML files;
|
file |
diff |
annotate
|