Tue, 10 Aug 2004 19:10:39 +0200 Fixed bug in compile_clause that caused equality constraints
berghofe [Tue, 10 Aug 2004 19:10:39 +0200] rev 15126
Fixed bug in compile_clause that caused equality constraints to be "forgotten".
Mon, 09 Aug 2004 15:27:27 +0200 warning for recursion over IDTs added
webertj [Mon, 09 Aug 2004 15:27:27 +0200] rev 15125
warning for recursion over IDTs added
Mon, 09 Aug 2004 10:09:44 +0200 Aded a thm.
nipkow [Mon, 09 Aug 2004 10:09:44 +0200] rev 15124
Aded a thm.
Fri, 06 Aug 2004 17:29:24 +0200 *** empty log message ***
chaieb [Fri, 06 Aug 2004 17:29:24 +0200] rev 15123
*** empty log message ***
Fri, 06 Aug 2004 17:19:50 +0200 proof_of_evalc corrected;
chaieb [Fri, 06 Aug 2004 17:19:50 +0200] rev 15122
proof_of_evalc corrected;
Fri, 06 Aug 2004 17:07:04 +0200 Initial changes to extend arithmetic from individual types to type classes.
nipkow [Fri, 06 Aug 2004 17:07:04 +0200] rev 15121
Initial changes to extend arithmetic from individual types to type classes.
Fri, 06 Aug 2004 16:55:14 +0200 undid UN/INT syntax
nipkow [Fri, 06 Aug 2004 16:55:14 +0200] rev 15120
undid UN/INT syntax
Fri, 06 Aug 2004 16:54:26 +0200 undid UN/INT xsymbol syntax with subscripts.
nipkow [Fri, 06 Aug 2004 16:54:26 +0200] rev 15119
undid UN/INT xsymbol syntax with subscripts.
Fri, 06 Aug 2004 13:36:04 +0200 make_clauses now meta
paulson [Fri, 06 Aug 2004 13:36:04 +0200] rev 15118
make_clauses now meta
Fri, 06 Aug 2004 13:35:44 +0200 RS -> THEN
paulson [Fri, 06 Aug 2004 13:35:44 +0200] rev 15117
RS -> THEN
(0) -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip