Fri, 15 Sep 2000 15:48:41 +0200 |
paulson |
renamed the select rules
|
file |
diff |
annotate
|
Tue, 05 Sep 2000 18:53:42 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Fri, 23 Apr 1999 12:23:21 +0200 |
paulson |
Now for recdefs that omit the WF relation;
|
file |
diff |
annotate
|
Mon, 23 Jun 1997 11:30:35 +0200 |
paulson |
Removal of COND_CONG, which is just if_cong RS eq_reflection
|
file |
diff |
annotate
|
Thu, 22 May 1997 15:13:16 +0200 |
paulson |
New headers and other minor changes
|
file |
diff |
annotate
|
Wed, 21 May 1997 10:59:14 +0200 |
paulson |
Code tidying: removal of C combinator
|
file |
diff |
annotate
|
Tue, 20 May 1997 11:49:57 +0200 |
paulson |
Removal of redundant code (unused or already present in Isabelle.
|
file |
diff |
annotate
|
Thu, 15 May 1997 12:29:59 +0200 |
paulson |
TFL now integrated with HOL (more work needed)
|
file |
diff |
annotate
|
Fri, 18 Oct 1996 12:41:04 +0200 |
paulson |
Konrad Slind's TFL
|
file |
diff |
annotate
|