| Fri, 12 Oct 2007 10:26:18 +0200 |
haftmann |
added
|
changeset |
files
|
| Fri, 12 Oct 2007 10:24:49 +0200 |
paulson |
metis calls
|
changeset |
files
|
| Fri, 12 Oct 2007 08:31:57 +0200 |
haftmann |
updated
|
changeset |
files
|
| Fri, 12 Oct 2007 08:25:48 +0200 |
haftmann |
moved class power to theory Power
|
changeset |
files
|
| Fri, 12 Oct 2007 08:25:47 +0200 |
haftmann |
refined; moved class power to theory Power
|
changeset |
files
|
| Fri, 12 Oct 2007 08:21:09 +0200 |
haftmann |
consolidated naming conventions for code generator theories
|
changeset |
files
|
| Fri, 12 Oct 2007 08:20:46 +0200 |
haftmann |
class div inherits from class times
|
changeset |
files
|
| Fri, 12 Oct 2007 08:20:45 +0200 |
haftmann |
code_include replaces code_moduleprolog
|
changeset |
files
|
| Fri, 12 Oct 2007 08:20:43 +0200 |
haftmann |
added subclass command
|
changeset |
files
|
| Thu, 11 Oct 2007 23:03:51 +0200 |
wenzelm |
enabled Refute_Examples again;
|
changeset |
files
|
| Thu, 11 Oct 2007 23:03:11 +0200 |
wenzelm |
local_axioms: impose hyps stemming from local consts as well
|
changeset |
files
|
| Thu, 11 Oct 2007 21:44:28 +0200 |
wenzelm |
disabled Refute_Examples temporarily;
|
changeset |
files
|
| Thu, 11 Oct 2007 21:10:43 +0200 |
wenzelm |
local_theory: incorporated consts into axioms;
|
changeset |
files
|
| Thu, 11 Oct 2007 21:10:42 +0200 |
wenzelm |
removed unused/impure quiet_mode;
|
changeset |
files
|
| Thu, 11 Oct 2007 21:10:41 +0200 |
wenzelm |
added export_cterm;
|
changeset |
files
|