src/HOLCF/Lift.ML
Sat, 03 Nov 2001 01:38:11 +0100 wenzelm rep_datatype lift;
Tue, 09 Jan 2001 15:32:27 +0100 nipkow *** empty log message ***
Tue, 21 Sep 1999 19:11:07 +0200 nipkow Mod because of new solver interface.
Wed, 12 Aug 1998 12:17:20 +0200 slotosch eliminated fabs,fapp.
Wed, 15 Jul 1998 10:15:13 +0200 paulson Removal of leading "\!\!..." from most Goal commands
Mon, 22 Jun 1998 17:13:09 +0200 wenzelm isatool fixgoal;
Wed, 24 Dec 1997 10:02:30 +0100 paulson New Auto_tac (by Oheimb), and new syntax (without parens), and expandshort
Mon, 03 Nov 1997 14:06:27 +0100 wenzelm isatool fixclasimp;
Fri, 10 Oct 1997 19:02:28 +0200 wenzelm fixed dots;
Tue, 09 Sep 1997 11:14:20 +0200 mueller moved extended adm_tac to new place
Wed, 03 Sep 1997 16:24:46 +0200 mueller new extended adm tactic introduced;
Mon, 23 Jun 1997 10:42:03 +0200 paulson Ran expandshort
Sun, 25 May 1997 16:17:09 +0200 slotosch Eliminated the prediates flat,chfin
less more (0) tip