Wed, 05 Jan 1994 19:47:14 +0100 | nipkow | got rid of METAHYPS due to the change of the basic simplification routines | file | diff | annotate |
Thu, 25 Nov 1993 13:41:08 +0100 | nipkow | asm_full_simp_tac now fails if there are no subgoals | file | diff | annotate |
Fri, 29 Oct 1993 11:54:50 +0100 | nipkow | added infix delsimps | file | diff | annotate |
Fri, 01 Oct 1993 13:26:22 +0100 | nipkow | asm_full_simp_tac now fails when applied to a state w/o subgoals. | file | diff | annotate |
Thu, 16 Sep 1993 14:21:44 +0200 | nipkow | changed addcongs to addeqcongs in simplifier.ML | file | diff | annotate |
Thu, 16 Sep 1993 12:20:38 +0200 | clasohm | Initial revision | file | diff | annotate |