Tue, 26 Jul 2005 18:29:59 +0200 brought ML files up to date with new lemmas
huffman [Tue, 26 Jul 2005 18:29:59 +0200] rev 16922
brought ML files up to date with new lemmas
Tue, 26 Jul 2005 18:28:11 +0200 renamed Exh_Ssum1 to Exh_Ssum; cleaned up
huffman [Tue, 26 Jul 2005 18:28:11 +0200] rev 16921
renamed Exh_Ssum1 to Exh_Ssum; cleaned up
Tue, 26 Jul 2005 18:27:16 +0200 cleaned up
huffman [Tue, 26 Jul 2005 18:27:16 +0200] rev 16920
cleaned up
Tue, 26 Jul 2005 18:25:27 +0200 removed duplicated code; generate new lub and thelub lemmas for new cpo types
huffman [Tue, 26 Jul 2005 18:25:27 +0200] rev 16919
removed duplicated code; generate new lub and thelub lemmas for new cpo types
Tue, 26 Jul 2005 18:24:29 +0200 cleaned up; renamed some theorems
huffman [Tue, 26 Jul 2005 18:24:29 +0200] rev 16918
cleaned up; renamed some theorems
Tue, 26 Jul 2005 18:22:55 +0200 add theorem fix_defined_iff; cleaned up
huffman [Tue, 26 Jul 2005 18:22:55 +0200] rev 16917
add theorem fix_defined_iff; cleaned up
Tue, 26 Jul 2005 18:22:03 +0200 add theorem cpair_defined_iff
huffman [Tue, 26 Jul 2005 18:22:03 +0200] rev 16916
add theorem cpair_defined_iff
Tue, 26 Jul 2005 15:29:37 +0200 write_dimacs_sat_file and write_dimacs_cnf_file now write the file in chunks
webertj [Tue, 26 Jul 2005 15:29:37 +0200] rev 16915
write_dimacs_sat_file and write_dimacs_cnf_file now write the file in chunks
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
(0) -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip