isabelle: Changelog

wenzelm [Sat, 08 Sep 2007 19:58:35 +0200] rev 24559

removed thy_ord (erratic due to multi-threading);

urbanc [Sat, 08 Sep 2007 18:30:02 +0200] rev 24558

some cleaning up

wenzelm [Fri, 07 Sep 2007 22:13:49 +0200] rev 24557

theorem: apply hook last;

wenzelm [Fri, 07 Sep 2007 22:13:48 +0200] rev 24556

reset goal messages after goal update;

wenzelm [Fri, 07 Sep 2007 22:13:45 +0200] rev 24555

added hilite markup;

wenzelm [Fri, 07 Sep 2007 20:40:08 +0200] rev 24554

fixed type alias in signature;

nipkow [Fri, 07 Sep 2007 17:56:03 +0200] rev 24553

added lemma

paulson [Fri, 07 Sep 2007 15:35:25 +0200] rev 24552

allow TVars during type inference

paulson [Fri, 07 Sep 2007 15:34:32 +0200] rev 24551

tidied the proofs

wenzelm [Fri, 07 Sep 2007 09:11:32 +0200] rev 24550

made smlnj happy;

isabelle