| Fri, 07 Feb 1997 17:14:33 +0100 | wenzelm | tuned; | changeset | files |
| Fri, 07 Feb 1997 14:15:35 +0100 | nipkow | Modified proofs due to added triv_forall_equality. | changeset | files |
| Fri, 07 Feb 1997 14:13:58 +0100 | nipkow | Modified proofs because of added "triv_forall_equality". | changeset | files |
| Fri, 07 Feb 1997 14:13:20 +0100 | nipkow | Added "triv_forall_equality" to HOL_ss. | changeset | files |
| Thu, 06 Feb 1997 18:40:39 +0100 | wenzelm | functionality added to getsettings; | changeset | files |
| Thu, 06 Feb 1997 18:40:23 +0100 | wenzelm | removed getplatform, ISABELLE_OUTPUT_DIR; | changeset | files |
| Thu, 06 Feb 1997 18:33:50 +0100 | wenzelm | removed getplatform, ISABELLE_OUTPUT_DIR; | changeset | files |