2006-08-08 | haftmann | cleanup code generation for Numerals | changeset | files |
2006-08-08 | haftmann | improved & fixed code generator theorem generation | changeset | files |
2006-08-08 | haftmann | code generator refinements | changeset | files |
2006-08-08 | haftmann | adding code lemma now works as expected | changeset | files |
2006-08-08 | haftmann | added more examples | changeset | files |
2006-08-08 | haftmann | dropped duplicated line | changeset | files |
Loading... |