| Tue, 03 Apr 2007 19:24:13 +0200 | wenzelm | renamed Variable.import to import_thms (avoid clash with Alice keywords); | changeset | files |
| Tue, 03 Apr 2007 19:24:11 +0200 | wenzelm | removed assert/deny (avoid clash with Alice keywords and confusion due to strict evaluation); | changeset | files |
| Tue, 03 Apr 2007 19:24:10 +0200 | wenzelm | ranamed CodegenData.lazy to lazy_thms (avoid clash with Alice keywords); | changeset | files |