| Tue, 31 Jul 2007 21:19:23 +0200 | wenzelm | with_charset: setmp_noncritical; | changeset | files |
| Tue, 31 Jul 2007 21:19:22 +0200 | wenzelm | added max-threads preference; | changeset | files |
| Tue, 31 Jul 2007 21:19:21 +0200 | wenzelm | replaced depth_limit ref by blast_depth_limit configuration option; | changeset | files |
| Tue, 31 Jul 2007 21:19:20 +0200 | wenzelm | replaced dtK ref by datatype_distinctness_limit configuration option; | changeset | files |
| Tue, 31 Jul 2007 21:19:18 +0200 | wenzelm | moved classical tools from theory IFOL to FOL; | changeset | files |
| Tue, 31 Jul 2007 19:40:28 +0200 | wenzelm | register_thy: more sanity checks; | changeset | files |
| Tue, 31 Jul 2007 19:40:26 +0200 | wenzelm | moved lin_arith stuff to Tools/lin_arith.ML; | changeset | files |