Thu, 30 Nov 2000 14:10:23 +0100 | bauerg | some properties; | changeset | files |
Thu, 30 Nov 2000 13:56:46 +0100 | nipkow | *** empty log message *** | changeset | files |
Wed, 29 Nov 2000 18:42:40 +0100 | wenzelm | resolveq_cases_tac moved here from Pure/Isar/method.ML; | changeset | files |
Wed, 29 Nov 2000 18:41:43 +0100 | wenzelm | resolveq(_cases)_tac moved to HOL/Tools/induct_method.ML; | changeset | files |
Wed, 29 Nov 2000 17:24:20 +0100 | nipkow | expand_split_asm -> split_split_asm | changeset | files |
Wed, 29 Nov 2000 17:23:27 +0100 | nipkow | *** empty log message *** | changeset | files |