huffman [Tue, 26 Jul 2005 18:28:11 +0200] rev 16921
renamed Exh_Ssum1 to Exh_Ssum; cleaned up
huffman [Tue, 26 Jul 2005 18:27:16 +0200] rev 16920
cleaned up
huffman [Tue, 26 Jul 2005 18:25:27 +0200] rev 16919
removed duplicated code; generate new lub and thelub lemmas for new cpo types
huffman [Tue, 26 Jul 2005 18:24:29 +0200] rev 16918
cleaned up; renamed some theorems
huffman [Tue, 26 Jul 2005 18:22:55 +0200] rev 16917
add theorem fix_defined_iff; cleaned up
huffman [Tue, 26 Jul 2005 18:22:03 +0200] rev 16916
add theorem cpair_defined_iff
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
webertj [Tue, 26 Jul 2005 14:31:42 +0200] rev 16914
replaced calls to PropLogic.auxcnf by PropLogic.defcnf again
webertj [Tue, 26 Jul 2005 14:14:13 +0200] rev 16913
comment modified
webertj [Tue, 26 Jul 2005 12:40:52 +0200] rev 16912
write_dimacs_sat_file writes outer parentheses again