Thu, 18 May 2000 11:40:57 +0200 | wenzelm | 'apply' consumes facts; | changeset | files |
Wed, 17 May 2000 18:27:13 +0200 | wenzelm | Proof General -- if present make this the default; | changeset | files |
Wed, 17 May 2000 17:16:21 +0200 | wenzelm | export generic_simp_tac; | changeset | files |