| 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 |
| Wed, 08 Mar 2000 17:40:24 +0100 | wenzelm | observe COMPRESS option; | changeset | files |
| Wed, 08 Mar 2000 17:39:08 +0100 | wenzelm | option -c: tell ML system to compress output image; | changeset | files |
| Wed, 08 Mar 2000 17:36:54 +0100 | wenzelm | * isatool mkdir provides easy setup of Isabelle session directories, | changeset | files |
| Wed, 08 Mar 2000 17:35:08 +0100 | wenzelm | tuned error msg: rows counted from 1; | changeset | files |
| Wed, 08 Mar 2000 16:24:46 +0100 | paulson | tidied | changeset | files |
| Wed, 08 Mar 2000 16:17:10 +0100 | paulson | tidied | changeset | files |
| Wed, 08 Mar 2000 16:15:41 +0100 | paulson | function "remove" and new lemmas for Factorization | changeset | files |