isabelle: Changelog

wenzelm [Sun, 01 Oct 2006 18:29:30 +0200] rev 20811

tuned proofs;

wenzelm [Sun, 01 Oct 2006 18:29:28 +0200] rev 20810

moved theory Infinite_Set to Library; tuned proofs;

wenzelm [Sun, 01 Oct 2006 18:29:26 +0200] rev 20809

moved theory Infinite_Set to Library;

wenzelm [Sun, 01 Oct 2006 18:29:25 +0200] rev 20808

moved Infinite_Set.thy to Library; removed obsolete ex/StringEx.thy; renamed ex/SVC_Oracle.ML to ex/svc_oracle.ML;

wenzelm [Sun, 01 Oct 2006 18:29:23 +0200] rev 20807

tuned;

mengj [Sun, 01 Oct 2006 12:07:57 +0200] rev 20806

Removed the helper files (combinator rewrite rules, function extensionality and fequal rules).

huffman [Sun, 01 Oct 2006 03:07:12 +0200] rev 20805

generalize more DERIV proofs

wenzelm [Sat, 30 Sep 2006 21:39:31 +0200] rev 20804

statement: Variable.fix_frees;

wenzelm [Sat, 30 Sep 2006 21:39:29 +0200] rev 20803

added undo_end;

wenzelm [Sat, 30 Sep 2006 21:39:27 +0200] rev 20802

tuned proofs;

isabelle