| Thu, 12 May 2011 22:37:31 +0200 | wenzelm | removed obsolete old-style cs/css; | changeset | files |
| Thu, 12 May 2011 22:35:15 +0200 | wenzelm | modernized dead code; | changeset | files |
| Thu, 12 May 2011 22:33:38 +0200 | wenzelm | eliminated old-style MI_fast_css -- replaced by fast_solver with config option; | changeset | files |
| Thu, 12 May 2011 22:11:16 +0200 | wenzelm | eliminated obsolete MI_css -- use current context directly; | changeset | files |
| Thu, 12 May 2011 22:07:30 +0200 | wenzelm | proper method_setup; | changeset | files |
| Thu, 12 May 2011 21:14:03 +0200 | wenzelm | modernized simproc_setup; | changeset | files |
| Thu, 12 May 2011 18:18:06 +0200 | wenzelm | prefer Proof.context over old-style clasimpset; | changeset | files |