| Tue, 16 Feb 2010 13:35:42 +0100 | wenzelm | tuned; | changeset | files |
| Tue, 16 Feb 2010 13:26:21 +0100 | wenzelm | comment; | changeset | files |
| Tue, 16 Feb 2010 13:06:43 +0100 | wenzelm | conceal internal record definitions; | changeset | files |
| Tue, 16 Feb 2010 11:59:05 +0100 | wenzelm | simplified meaning of ProofContext.verbose; | changeset | files |
| Tue, 16 Feb 2010 11:56:13 +0100 | wenzelm | refrain from using @{const_name} in syntax translations; | changeset | files |
| Tue, 16 Feb 2010 11:27:29 +0100 | wenzelm | misc tuning and simplification; | changeset | files |
| Mon, 15 Feb 2010 23:58:24 +0100 | wenzelm | refined and exported record_info; | changeset | files |
| Mon, 15 Feb 2010 22:40:03 +0100 | wenzelm | modernized structures; | changeset | files |
| Mon, 15 Feb 2010 22:24:19 +0100 | wenzelm | modernized signature -- proper binding; | changeset | files |
| Mon, 15 Feb 2010 20:32:21 +0100 | wenzelm | tuned errors; | changeset | files |
| Mon, 15 Feb 2010 20:30:56 +0100 | wenzelm | Typedef.the_info; | changeset | files |
| Mon, 15 Feb 2010 20:01:07 +0100 | wenzelm | formal markup of constants; | changeset | files |