isabelle: Changelog

webertj [Mon, 25 Jul 2005 21:40:43 +0200] rev 16909

defcnf renamed to auxcnf, new defcnf algorithm added, simplify added

avigad [Mon, 25 Jul 2005 18:54:49 +0200] rev 16908

Added two new theories to HOL/Library: SetsAndFunctions.thy and BigO.thy

webertj [Mon, 25 Jul 2005 15:51:30 +0200] rev 16907

defcnf modified to internally use a reference

paulson [Fri, 22 Jul 2005 17:43:49 +0200] rev 16906

dead code removal

paulson [Fri, 22 Jul 2005 17:43:03 +0200] rev 16905

reformatting and tidying

paulson [Fri, 22 Jul 2005 17:42:40 +0200] rev 16904

tidied up the tracing output

paulson [Fri, 22 Jul 2005 13:19:06 +0200] rev 16903

streamlined the tptp output

paulson [Fri, 22 Jul 2005 13:18:54 +0200] rev 16902

removed unused code

berghofe [Fri, 22 Jul 2005 11:55:11 +0200] rev 16901

Tuned comment.

berghofe [Fri, 22 Jul 2005 11:54:29 +0200] rev 16900

Rewrote function remove_suc, since it failed on some equations produced by recdef.

isabelle