| Wed, 08 Mar 2000 17:51:29 +0100 | wenzelm | added rule_cases.ML; | changeset | files |
| Wed, 08 Mar 2000 17:50:28 +0100 | wenzelm | export ALLGOALS_RANGE; | changeset | files |
| Wed, 08 Mar 2000 17:49:28 +0100 | wenzelm | added (un)tag_rule; | changeset | files |
| Wed, 08 Mar 2000 17:48:31 +0100 | wenzelm | added Isar/rule_cases.ML; | changeset | files |
| Wed, 08 Mar 2000 17:45:16 +0100 | wenzelm | added isatool mkdir; | changeset | files |
| Wed, 08 Mar 2000 17:44:53 +0100 | wenzelm | isabelle -c: tell ML system to compress output image; | changeset | files |
| Wed, 08 Mar 2000 17:41:40 +0100 | wenzelm | pass -c option; | changeset | files |