Tue, 08 Aug 2006 08:19:39 +0200 | haftmann | improved & fixed code generator theorem generation | changeset | files |
Tue, 08 Aug 2006 08:19:30 +0200 | haftmann | code generator refinements | changeset | files |
Tue, 08 Aug 2006 08:19:18 +0200 | haftmann | adding code lemma now works as expected | changeset | files |