| Thu, 25 Jan 2007 09:32:46 +0100 |
haftmann |
added explicit query function for arities to subalgebra projection
|
changeset |
files
|
| Thu, 25 Jan 2007 09:32:45 +0100 |
haftmann |
not importing NestedEnvironment
|
changeset |
files
|
| Thu, 25 Jan 2007 09:32:42 +0100 |
haftmann |
adjusted to changes in class package
|
changeset |
files
|
| Thu, 25 Jan 2007 09:32:37 +0100 |
haftmann |
made executable
|
changeset |
files
|
| Thu, 25 Jan 2007 09:32:36 +0100 |
haftmann |
improved
|
changeset |
files
|
| Thu, 25 Jan 2007 09:32:35 +0100 |
haftmann |
fxied bug for OCaml bigints
|
changeset |
files
|
| Thu, 25 Jan 2007 09:32:34 +0100 |
haftmann |
adjusted names
|
changeset |
files
|
| Wed, 24 Jan 2007 20:54:21 +0100 |
wenzelm |
tuned eta_contract;
|
changeset |
files
|
| Wed, 24 Jan 2007 20:54:20 +0100 |
wenzelm |
updated timing;
|
changeset |
files
|
| Wed, 24 Jan 2007 17:10:50 +0100 |
paulson |
some new lemmas
|
changeset |
files
|
| Wed, 24 Jan 2007 13:15:16 +0100 |
aspinall |
Let <loadfile> execute even while a file is open interactively.
|
changeset |
files
|
| Tue, 23 Jan 2007 20:29:03 +0100 |
krauss |
fixes smlnj-related problem, updated signature
|
changeset |
files
|
| Tue, 23 Jan 2007 15:54:22 +0100 |
dixon |
added a fold up and fold down as separate functions and fixed zipto to
|
changeset |
files
|
| Mon, 22 Jan 2007 19:00:29 +0100 |
nipkow |
simplified proofs
|
changeset |
files
|