| Wed, 17 Mar 1999 17:20:36 +0100 |
wenzelm |
Theory.sign_of;
|
file |
diff |
annotate
|
| Fri, 24 Jul 1998 13:53:04 +0200 |
berghofe |
Adapted to new datatype package.
|
file |
diff |
annotate
|
| Mon, 03 Nov 1997 21:15:08 +0100 |
wenzelm |
adapted to new datatypes thy info;
|
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
|
| Mon, 02 Jun 1997 12:19:01 +0200 |
paulson |
Type inference makes a Const here, perhaps elsewhere?thry.sml
|
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:29:10 +0200 |
paulson |
More de-HOL-ification
|
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
|
| 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
|