Thu, 01 Dec 2005 22:03:04 +0100 | wenzelm | ProofContext.lthms_containing: suppress obvious duplicates; | changeset | files |
Thu, 01 Dec 2005 22:03:01 +0100 | wenzelm | unfold_tac: static evaluation of simpset; | changeset | files |
Thu, 01 Dec 2005 18:45:24 +0100 | wenzelm | superceded by timestart|stop.bash; | changeset | files |