| 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 |
| Sun, 22 May 2005 16:51:17 +0200 | wenzelm | added ident_with; | changeset | files |
| Sun, 22 May 2005 16:51:16 +0200 | wenzelm | fold ProofContext.declare_term; | changeset | files |
| Sun, 22 May 2005 16:51:15 +0200 | wenzelm | added 'print_simpset'; | changeset | files |
| Sun, 22 May 2005 16:51:14 +0200 | wenzelm | added print_simpset; | changeset | files |