| Fri, 07 Apr 2006 05:12:00 +0200 |
mengj |
lemmas returned from ResClasimp.get_clasimp_atp_lemmas are thm rather than term.
|
changeset |
files
|
| Fri, 07 Apr 2006 03:20:34 +0200 |
kleing |
renamed ASeries to Arithmetic_Series, removed the ^M
|
changeset |
files
|
| Thu, 06 Apr 2006 17:29:40 +0200 |
urbanc |
modified the perm_compose rule such that it
|
changeset |
files
|
| Thu, 06 Apr 2006 16:13:17 +0200 |
haftmann |
cleanup in typedef/datatype package
|
changeset |
files
|
| Thu, 06 Apr 2006 16:12:57 +0200 |
haftmann |
added explicit serialization for int equality
|
changeset |
files
|
| Thu, 06 Apr 2006 16:11:30 +0200 |
haftmann |
adapted for definitional code generation
|
changeset |
files
|
| Thu, 06 Apr 2006 16:10:46 +0200 |
haftmann |
cleanup in datatype package
|
changeset |
files
|
| Thu, 06 Apr 2006 16:10:22 +0200 |
haftmann |
small type annotation fix
|
changeset |
files
|
| Thu, 06 Apr 2006 16:09:54 +0200 |
haftmann |
added hook for codegen_theorems.ML
|
changeset |
files
|
| Thu, 06 Apr 2006 16:09:37 +0200 |
haftmann |
adaptions to change in typedef_package.ML
|
changeset |
files
|
| Thu, 06 Apr 2006 16:09:20 +0200 |
haftmann |
added functions for definitional code generation
|
changeset |
files
|
| Thu, 06 Apr 2006 16:08:25 +0200 |
haftmann |
added definitional code generator module: codegen_theorems.ML
|
changeset |
files
|
| Thu, 06 Apr 2006 16:08:22 +0200 |
haftmann |
minor changes
|
changeset |
files
|
| Thu, 06 Apr 2006 16:07:44 +0200 |
haftmann |
exported specification names
|
changeset |
files
|
| Wed, 05 Apr 2006 17:38:32 +0200 |
haftmann |
minor extensions
|
changeset |
files
|