| Fri, 12 Apr 2013 17:21:51 +0200 | wenzelm | modifiers for classical wrappers operate on Proof.context instead of claset; | changeset | files |
| Fri, 12 Apr 2013 17:02:55 +0200 | wenzelm | removed historic comments; | changeset | files |
| Fri, 12 Apr 2013 15:30:38 +0200 | wenzelm | tuned exceptions -- avoid composing error messages in low-level situations; | changeset | files |