Tue, 31 Jul 2007 00:56:31 +0200 | wenzelm | turned fast_arith_split/neq_limit into configuration options; | changeset | files |
Tue, 31 Jul 2007 00:56:31 +0200 | wenzelm | added global config options; | changeset | files |
Tue, 31 Jul 2007 00:56:29 +0200 | wenzelm | arith method setup: proper context; | changeset | files |
Tue, 31 Jul 2007 00:56:26 +0200 | wenzelm | arith method setup: proper context; | changeset | files |
Mon, 30 Jul 2007 19:46:15 +0200 | wenzelm | tuned ML declarations; | changeset | files |
Mon, 30 Jul 2007 19:46:13 +0200 | wenzelm | simultaneous use_thys; | changeset | files |