| Fri, 13 May 2011 10:10:43 +0200 | blanchet | added convenience syntax | changeset | files |
| Thu, 12 May 2011 23:23:48 +0200 | wenzelm | prefer Proof.context over old-style claset/simpset; | changeset | files |
| Thu, 12 May 2011 22:46:21 +0200 | wenzelm | prefer plain simpset operations; | changeset | files |
| 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 |