| Fri, 13 May 2011 10:10:43 +0200 | blanchet | tweak E slices | changeset | files |
| Fri, 13 May 2011 10:10:43 +0200 | blanchet | make SML/NJ happy | changeset | files |
| Fri, 13 May 2011 10:10:43 +0200 | blanchet | fixed off-by-one bug | changeset | files |
| 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 |