2004-08-14 webertj bugfix in read_dimacs_cnf_file
2004-08-12 ballarin Disallowed "includes" in locale declarations.
2004-08-10 berghofe Fixed bug in compile_clause that caused equality constraints
2004-08-09 webertj warning for recursion over IDTs added
2004-08-09 nipkow Aded a thm.
2004-08-06 chaieb *** empty log message ***
2004-08-06 chaieb proof_of_evalc corrected;
2004-08-06 nipkow Initial changes to extend arithmetic from individual types to type classes.
2004-08-06 nipkow undid UN/INT syntax
2004-08-06 nipkow undid UN/INT xsymbol syntax with subscripts.
2004-08-06 paulson make_clauses now meta
2004-08-06 paulson RS -> THEN
Loading...
(0) -10000 -3000 -1000 -300 -100 -12 +12 +100 +300 +1000 +3000 +10000 +30000 tip