| Mon, 16 Aug 2004 12:29:09 +0200 |
berghofe |
Replaced `div and `mod in consts_code section by div and mod.
|
changeset |
files
|
| Sat, 14 Aug 2004 16:27:56 +0200 |
webertj |
bugfix in read_dimacs_cnf_file
|
changeset |
files
|
| Thu, 12 Aug 2004 10:01:09 +0200 |
ballarin |
Disallowed "includes" in locale declarations.
|
changeset |
files
|
| Tue, 10 Aug 2004 19:10:39 +0200 |
berghofe |
Fixed bug in compile_clause that caused equality constraints
|
changeset |
files
|
| Mon, 09 Aug 2004 15:27:27 +0200 |
webertj |
warning for recursion over IDTs added
|
changeset |
files
|
| Mon, 09 Aug 2004 10:09:44 +0200 |
nipkow |
Aded a thm.
|
changeset |
files
|
| Fri, 06 Aug 2004 17:29:24 +0200 |
chaieb |
*** empty log message ***
|
changeset |
files
|
| Fri, 06 Aug 2004 17:19:50 +0200 |
chaieb |
proof_of_evalc corrected;
|
changeset |
files
|
| Fri, 06 Aug 2004 17:07:04 +0200 |
nipkow |
Initial changes to extend arithmetic from individual types to type classes.
|
changeset |
files
|
| Fri, 06 Aug 2004 16:55:14 +0200 |
nipkow |
undid UN/INT syntax
|
changeset |
files
|
| Fri, 06 Aug 2004 16:54:26 +0200 |
nipkow |
undid UN/INT xsymbol syntax with subscripts.
|
changeset |
files
|
| Fri, 06 Aug 2004 13:36:04 +0200 |
paulson |
make_clauses now meta
|
changeset |
files
|
| Fri, 06 Aug 2004 13:35:44 +0200 |
paulson |
RS -> THEN
|
changeset |
files
|
| Fri, 06 Aug 2004 13:35:26 +0200 |
paulson |
modified resolution proof
|
changeset |
files
|
| Fri, 06 Aug 2004 12:30:31 +0200 |
nipkow |
Undid \Union syntax with subscripts.
|
changeset |
files
|