| Tue, 07 Oct 2008 16:07:20 +0200 | haftmann | dropped superfluous if | changeset | files |
| Tue, 07 Oct 2008 16:07:18 +0200 | haftmann | tuned of_nat code generation | changeset | files |
| Tue, 07 Oct 2008 16:07:16 +0200 | haftmann | re-introduces axiom subst | changeset | files |
| Tue, 07 Oct 2008 16:07:14 +0200 | haftmann | corrected SML undefined | changeset | files |
| Tue, 07 Oct 2008 11:51:31 +0200 | wenzelm | updated to official version as of 07-Oct-2008; | changeset | files |
| Mon, 06 Oct 2008 22:41:21 +0200 | wenzelm | fold_lines: more tuning, avoiding extra split_last; | changeset | files |
| Mon, 06 Oct 2008 22:35:03 +0200 | wenzelm | extra check of PROOFGENERAL_HOME; | changeset | files |