Tue, 06 Apr 2004 15:39:10 +0200 *** empty log message ***
mehta [Tue, 06 Apr 2004 15:39:10 +0200] rev 14522
*** empty log message ***
Tue, 06 Apr 2004 12:25:13 +0200 *** empty log message ***
mehta [Tue, 06 Apr 2004 12:25:13 +0200] rev 14521
*** empty log message ***
Mon, 05 Apr 2004 13:30:37 +0200 Whoops. Those default cases can be tricky.
skalberg [Mon, 05 Apr 2004 13:30:37 +0200] rev 14520
Whoops. Those default cases can be tricky.
Mon, 05 Apr 2004 13:23:10 +0200 Added support for the newer versions of SML/NJ, which break several of the
skalberg [Mon, 05 Apr 2004 13:23:10 +0200] rev 14519
Added support for the newer versions of SML/NJ, which break several of the old interfaces.
Sun, 04 Apr 2004 15:34:14 +0200 Added a number of explicit type casts and delayed evaluations (all seemingly
skalberg [Sun, 04 Apr 2004 15:34:14 +0200] rev 14518
Added a number of explicit type casts and delayed evaluations (all seemingly needless) so that SML/NJ 110.9.1 would accept the importer...
Fri, 02 Apr 2004 17:40:32 +0200 exposed fast_arith_neq_limit
nipkow [Fri, 02 Apr 2004 17:40:32 +0200] rev 14517
exposed fast_arith_neq_limit
Fri, 02 Apr 2004 17:37:45 +0200 Added HOL proof importer.
skalberg [Fri, 02 Apr 2004 17:37:45 +0200] rev 14516
Added HOL proof importer.
Fri, 02 Apr 2004 17:36:01 +0200 Tools/sat_solver.ML and Tools/prop_logic.ML added
webertj [Fri, 02 Apr 2004 17:36:01 +0200] rev 14515
Tools/sat_solver.ML and Tools/prop_logic.ML added
Fri, 02 Apr 2004 17:28:16 +0200 fixed dpll solver (now uses NNF)
webertj [Fri, 02 Apr 2004 17:28:16 +0200] rev 14514
fixed dpll solver (now uses NNF)
Fri, 02 Apr 2004 17:26:00 +0200 - Experimental command for instantiation of locales in proof contexts:
ballarin [Fri, 02 Apr 2004 17:26:00 +0200] rev 14513
- Experimental command for instantiation of locales in proof contexts: instantiate <label>: <loc>
(0) -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip