isabelle: Changelog

wenzelm [Tue, 20 Sep 2005 21:48:37 +0200] rev 17532

more contributions;

wenzelm [Tue, 20 Sep 2005 21:39:00 +0200] rev 17531

tuned headers;

wenzelm [Tue, 20 Sep 2005 21:34:20 +0200] rev 17530

tuned header;

wenzelm [Tue, 20 Sep 2005 21:09:41 +0200] rev 17529

use "ML-Systems/smlnj-basis-compat.ML" *after* Interrupt;

wenzelm [Tue, 20 Sep 2005 20:16:55 +0200] rev 17528

fixed proof script of lemma Cond_sound (Why did it stop working anyway?);

webertj [Tue, 20 Sep 2005 19:38:35 +0200] rev 17527

bugfix in "zchaff_with_proofs"

paulson [Tue, 20 Sep 2005 18:47:42 +0200] rev 17526

fixed recursive-looking declaration

paulson [Tue, 20 Sep 2005 18:43:39 +0200] rev 17525

tidying, and support for axclass/classrel clauses

paulson [Tue, 20 Sep 2005 18:42:56 +0200] rev 17524

fixed syntax for sml/nj

webertj [Tue, 20 Sep 2005 17:01:43 +0200] rev 17523

undone the previous change: show_hyps not supported anymore

isabelle