Fri, 02 Apr 2004 17:40:32 +0200 | nipkow | exposed fast_arith_neq_limit | changeset | files |
Fri, 02 Apr 2004 17:37:45 +0200 | skalberg | Added HOL proof importer. | changeset | files |
Fri, 02 Apr 2004 17:36:01 +0200 | webertj | Tools/sat_solver.ML and Tools/prop_logic.ML added | changeset | files |
Fri, 02 Apr 2004 17:28:16 +0200 | webertj | fixed dpll solver (now uses NNF) | changeset | files |
Fri, 02 Apr 2004 17:26:00 +0200 | ballarin | - Experimental command for instantiation of locales in proof contexts: | changeset | files |
Fri, 02 Apr 2004 17:06:15 +0200 | paulson | variable renamings and other cosmetic changes | changeset | files |