| 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 |
| Fri, 12 Apr 2013 14:54:14 +0200 | wenzelm | tuned signature; | changeset | files |
| Fri, 12 Apr 2013 12:20:51 +0200 | wenzelm | proper identifiers -- avoid crash of case translations; | changeset | files |
| Fri, 12 Apr 2013 08:27:43 +0200 | nipkow | reduced duplication | changeset | files |
| Thu, 11 Apr 2013 16:58:54 +0200 | traytel | do not add case translation syntax in rep_datatype compatibility mode | changeset | files |
| Thu, 11 Apr 2013 16:39:01 +0200 | traytel | run type inference on input to wrap_data | changeset | files |