| Thu, 30 Mar 1995 13:48:30 +0200 | lcp | Precedence of infixes is now 4 (just above that of :=) | file | diff | annotate |
| Tue, 21 Jun 1994 11:55:36 +0200 | nipkow | improved error msg | file | diff | annotate |
| Tue, 31 May 1994 13:17:41 +0200 | nipkow | simpset is hidden in a functor now. | file | diff | annotate |
| 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 |