| Wed, 26 Sep 2007 19:19:38 +0200 |
wenzelm |
adapted variable order for inductive cases (determined by read_specification *before* expanding abbreviations);
|
changeset |
files
|
| Wed, 26 Sep 2007 19:18:01 +0200 |
wenzelm |
Attrib.eval_thms;
|
changeset |
files
|
| Wed, 26 Sep 2007 19:18:00 +0200 |
wenzelm |
Attrib.eval_thms;
|
changeset |
files
|
| Wed, 26 Sep 2007 19:17:59 +0200 |
wenzelm |
read/check_specification: proper type inference across multiple sections, result is in closed form;
|
changeset |
files
|
| Wed, 26 Sep 2007 19:17:58 +0200 |
wenzelm |
added eval_thms;
|
changeset |
files
|
| Wed, 26 Sep 2007 19:17:57 +0200 |
wenzelm |
minimal adaptions for Specification.read/check_specification;
|
changeset |
files
|
| Wed, 26 Sep 2007 19:17:56 +0200 |
wenzelm |
proper Specification.read_specification;
|
changeset |
files
|
| Wed, 26 Sep 2007 19:17:55 +0200 |
wenzelm |
removed dead code;
|
changeset |
files
|
| Wed, 26 Sep 2007 11:27:46 +0200 |
wenzelm |
declare_constraints: declare (fix) type variables within constraints, but not terms themselves;
|
changeset |
files
|
| Wed, 26 Sep 2007 09:05:58 +0200 |
haftmann |
made SML/NJ happy
|
changeset |
files
|
| Tue, 25 Sep 2007 21:08:36 +0200 |
haftmann |
rudimentary support for Haskell
|
changeset |
files
|
| Tue, 25 Sep 2007 21:08:35 +0200 |
haftmann |
added support for Haskell, OCaml
|
changeset |
files
|
| Tue, 25 Sep 2007 21:08:34 +0200 |
haftmann |
Efficient_Nat and Pretty_Int integrated with ML_Int
|
changeset |
files
|
| Tue, 25 Sep 2007 17:06:19 +0200 |
wenzelm |
proper Sign operations instead of Theory aliases;
|
changeset |
files
|
| Tue, 25 Sep 2007 17:06:18 +0200 |
wenzelm |
tuned functor application;
|
changeset |
files
|