Tue, 26 Jul 2005 14:31:42 +0200 replaced calls to PropLogic.auxcnf by PropLogic.defcnf again
webertj [Tue, 26 Jul 2005 14:31:42 +0200] rev 16914
replaced calls to PropLogic.auxcnf by PropLogic.defcnf again
Tue, 26 Jul 2005 14:14:13 +0200 comment modified
webertj [Tue, 26 Jul 2005 14:14:13 +0200] rev 16913
comment modified
Tue, 26 Jul 2005 12:40:52 +0200 write_dimacs_sat_file writes outer parentheses again
webertj [Tue, 26 Jul 2005 12:40:52 +0200] rev 16912
write_dimacs_sat_file writes outer parentheses again
Tue, 26 Jul 2005 12:23:10 +0200 replaced calls to PropLogic.defcnf by PropLogic.auxcnf
webertj [Tue, 26 Jul 2005 12:23:10 +0200] rev 16911
replaced calls to PropLogic.defcnf by PropLogic.auxcnf
Tue, 26 Jul 2005 12:13:35 +0200 minor parameter changes
webertj [Tue, 26 Jul 2005 12:13:35 +0200] rev 16910
minor parameter changes
Mon, 25 Jul 2005 21:40:43 +0200 defcnf renamed to auxcnf, new defcnf algorithm added, simplify added
webertj [Mon, 25 Jul 2005 21:40:43 +0200] rev 16909
defcnf renamed to auxcnf, new defcnf algorithm added, simplify added
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
(0) -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip