isabelle: Changelog

paulson [Thu, 08 Jan 1998 11:21:45 +0100] rev 4521

Tidied by adding more default simprules

wenzelm [Wed, 07 Jan 1998 13:55:54 +0100] rev 4520

adapted to new split order;

wenzelm [Wed, 07 Jan 1998 13:55:29 +0100] rev 4519

adapted to new sort function;

wenzelm [Wed, 07 Jan 1998 13:53:42 +0100] rev 4518

improved targets; fixed dependencies on parent logics;

wenzelm [Tue, 06 Jan 1998 12:32:43 +0100] rev 4517

tuned;

wenzelm [Mon, 05 Jan 1998 12:56:22 +0100] rev 4516

added -u option (again);

paulson [Mon, 05 Jan 1998 10:47:10 +0100] rev 4515

Now calls Blast_tac more often

wenzelm [Fri, 02 Jan 1998 18:47:31 +0100] rev 4514

obsolete;

wenzelm [Fri, 02 Jan 1998 18:40:30 +0100] rev 4513

feeder;

paulson [Fri, 02 Jan 1998 17:17:24 +0100] rev 4512

Changed required by new blast_tac (the one that squashes flex-flex pairs)

isabelle