| 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 |
| Tue, 31 Jul 2007 19:40:25 +0200 | wenzelm | proper context for cooper_tac within arith; | changeset | files |
| Tue, 31 Jul 2007 19:40:24 +0200 | wenzelm | tuned LinArith setup; | changeset | files |