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