src/Provers/simplifier.ML
Thu, 25 Nov 1993 13:41:08 +0100 nipkow asm_full_simp_tac now fails if there are no subgoals
Fri, 29 Oct 1993 11:54:50 +0100 nipkow added infix delsimps
Fri, 01 Oct 1993 13:26:22 +0100 nipkow asm_full_simp_tac now fails when applied to a state w/o subgoals.
Thu, 16 Sep 1993 14:21:44 +0200 nipkow changed addcongs to addeqcongs in simplifier.ML
Thu, 16 Sep 1993 12:20:38 +0200 clasohm Initial revision
less more (0) tip