Fri, 29 Sep 2000 18:02:24 +0200 |
berghofe |
Now some functions try to avoid name clashes when introducing new free
|
file |
diff |
annotate
|
Mon, 18 Sep 2000 14:10:31 +0200 |
wenzelm |
indicate occurrences of 'handle _';
|
file |
diff |
annotate
|
Wed, 06 Sep 2000 16:54:12 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Tue, 05 Sep 2000 18:53:42 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Sun, 16 Jul 2000 21:00:32 +0200 |
wenzelm |
strip_prod_type = HOLogic.prodT_factors;
|
file |
diff |
annotate
|
Thu, 18 May 2000 11:43:57 +0200 |
wenzelm |
fewer consts declared as global;
|
file |
diff |
annotate
|
Fri, 23 Apr 1999 12:23:21 +0200 |
paulson |
Now for recdefs that omit the WF relation;
|
file |
diff |
annotate
|
Thu, 25 Sep 1997 12:25:29 +0200 |
paulson |
Deleted the unused list_mk_disj
|
file |
diff |
annotate
|
Thu, 05 Jun 1997 13:27:28 +0200 |
paulson |
Numerous simplifications and removal of HOL-isms
|
file |
diff |
annotate
|
Tue, 03 Jun 1997 11:08:08 +0200 |
paulson |
More de-HOLification: using Free, Const, etc. instead of mk_var, mk_const
|
file |
diff |
annotate
|
Tue, 27 May 1997 13:22:30 +0200 |
paulson |
Removal of module Mask and datatype binding with its constructor |->
|
file |
diff |
annotate
|
Mon, 26 May 1997 12:27:58 +0200 |
paulson |
Deleted unused functions
|
file |
diff |
annotate
|
Thu, 22 May 1997 15:13:16 +0200 |
paulson |
New headers and other minor changes
|
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
|
Fri, 18 Oct 1996 12:41:04 +0200 |
paulson |
Konrad Slind's TFL
|
file |
diff |
annotate
|