| Tue, 28 Oct 2008 16:59:02 +0100 |
haftmann |
restored incremental code generation
|
changeset |
files
|
| Tue, 28 Oct 2008 16:59:01 +0100 |
haftmann |
slightly tuned
|
changeset |
files
|
| Tue, 28 Oct 2008 16:59:00 +0100 |
haftmann |
assert that no class parameter is used as constructor
|
changeset |
files
|
| Tue, 28 Oct 2008 16:58:59 +0100 |
haftmann |
cleanup code default attribute
|
changeset |
files
|
| Tue, 28 Oct 2008 12:29:57 +0100 |
haftmann |
removed includes
|
changeset |
files
|
| Tue, 28 Oct 2008 12:28:14 +0100 |
haftmann |
making SMLNJ happy
|
changeset |
files
|
| Tue, 28 Oct 2008 11:05:44 +0100 |
paulson |
The metis method no longer fails because the theorem is too trivial
|
changeset |
files
|
| Tue, 28 Oct 2008 11:03:07 +0100 |
ballarin |
Removed 'includes meta_term_syntax' and 'includes meta_conjunction_syntax'.
|
changeset |
files
|
| Mon, 27 Oct 2008 18:14:34 +0100 |
paulson |
metis proof
|
changeset |
files
|
| Mon, 27 Oct 2008 16:23:54 +0100 |
ballarin |
New-style locale expressions with instantiation (new file expression.ML).
|
changeset |
files
|
| Mon, 27 Oct 2008 16:20:52 +0100 |
ballarin |
Hide path in constant name (workaround).
|
changeset |
files
|
| Mon, 27 Oct 2008 16:15:50 +0100 |
haftmann |
explicit history for equations; tuned
|
changeset |
files
|
| Mon, 27 Oct 2008 16:15:49 +0100 |
haftmann |
slightly tuned
|
changeset |
files
|
| Mon, 27 Oct 2008 16:15:48 +0100 |
haftmann |
added rudimentary code generation
|
changeset |
files
|
| Mon, 27 Oct 2008 16:15:47 +0100 |
haftmann |
sup_bot and inf_top
|
changeset |
files
|