| Fri, 01 Aug 2014 15:08:49 +0200 | blanchet | careful when calling 'Thm.proof_body_of' -- it can throw exceptions | changeset | files |
| Fri, 01 Aug 2014 20:43:23 +0200 | wenzelm | removed unused stuff; | changeset | files |
| Fri, 01 Aug 2014 20:20:17 +0200 | wenzelm | agree on keyword categories with ML; | changeset | files |
| Fri, 01 Aug 2014 20:15:00 +0200 | wenzelm | more keyword categories (as in ML); | changeset | files |