Wed, 08 Mar 2000 17:52:38 +0100 | wenzelm | added 'case_names' and 'params'; | changeset | files |
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 |