| Sun, 22 May 2005 16:53:11 +0200 | wenzelm | added Pure/simplifier.ML, Pure/Isar/find_theorems.ML; | changeset | files |
| Sun, 22 May 2005 16:51:19 +0200 | wenzelm | moved everything related to thms_containing to find_theorems.ML; | changeset | files |
| Sun, 22 May 2005 16:51:18 +0200 | wenzelm | added reserved; | changeset | files |