Sun, 29 Jul 2007 14:29:59 +0200 | wenzelm | marked some CRITICAL sections; | changeset | files |
Sun, 29 Jul 2007 14:29:58 +0200 | wenzelm | simplified ResAtpset via NamedThmsFun; | changeset | files |
Sun, 29 Jul 2007 14:29:57 +0200 | wenzelm | metis_tac: proper context (ProofContext.init it *not* sufficient); | changeset | files |
Sun, 29 Jul 2007 14:29:56 +0200 | wenzelm | proper simproc_setup for "neq", "let_simp"; | changeset | files |