Mon, 25 Jul 2005 18:54:49 +0200 Added two new theories to HOL/Library: SetsAndFunctions.thy and BigO.thy
avigad [Mon, 25 Jul 2005 18:54:49 +0200] rev 16908
Added two new theories to HOL/Library: SetsAndFunctions.thy and BigO.thy
Mon, 25 Jul 2005 15:51:30 +0200 defcnf modified to internally use a reference
webertj [Mon, 25 Jul 2005 15:51:30 +0200] rev 16907
defcnf modified to internally use a reference
Fri, 22 Jul 2005 17:43:49 +0200 dead code removal
paulson [Fri, 22 Jul 2005 17:43:49 +0200] rev 16906
dead code removal
Fri, 22 Jul 2005 17:43:03 +0200 reformatting and tidying
paulson [Fri, 22 Jul 2005 17:43:03 +0200] rev 16905
reformatting and tidying
Fri, 22 Jul 2005 17:42:40 +0200 tidied up the tracing output
paulson [Fri, 22 Jul 2005 17:42:40 +0200] rev 16904
tidied up the tracing output
Fri, 22 Jul 2005 13:19:06 +0200 streamlined the tptp output
paulson [Fri, 22 Jul 2005 13:19:06 +0200] rev 16903
streamlined the tptp output
Fri, 22 Jul 2005 13:18:54 +0200 removed unused code
paulson [Fri, 22 Jul 2005 13:18:54 +0200] rev 16902
removed unused code
Fri, 22 Jul 2005 11:55:11 +0200 Tuned comment.
berghofe [Fri, 22 Jul 2005 11:55:11 +0200] rev 16901
Tuned comment.
Fri, 22 Jul 2005 11:54:29 +0200 Rewrote function remove_suc, since it failed on some equations
berghofe [Fri, 22 Jul 2005 11:54:29 +0200] rev 16900
Rewrote function remove_suc, since it failed on some equations produced by recdef.
Thu, 21 Jul 2005 18:52:17 +0200 write_dimacs_sat_file now generates slightly smaller files
webertj [Thu, 21 Jul 2005 18:52:17 +0200] rev 16899
write_dimacs_sat_file now generates slightly smaller files
(0) -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip