Wed, 29 Sep 2010 10:33:14 +0200 | bulwahn | putting the last step of the proof in a TRY block to handle the case that the simplifier already solved the goal | changeset | files |
Wed, 29 Sep 2010 11:02:24 +0200 | krauss | backed out my old attempt at single_hyp_subst_tac (67cd6ed76446) | changeset | files |
Wed, 29 Sep 2010 10:05:44 +0200 | haftmann | scala is reserved identifier | changeset | files |