| Tue, 02 Mar 2010 23:56:13 +0100 | wenzelm | proper antiquotations; | changeset | files |
| Tue, 02 Mar 2010 22:20:19 +0100 | wenzelm | standard convention for syntax consts; | changeset | files |
| Tue, 02 Mar 2010 22:18:51 +0100 | wenzelm | more precise scope of exception handler; | changeset | files |
| Mon, 01 Mar 2010 21:41:35 +0100 | wenzelm | eliminated hard tabs; | changeset | files |
| Mon, 01 Mar 2010 17:45:19 +0100 | wenzelm | tuned final whitespace; | changeset | files |
| Mon, 01 Mar 2010 17:45:02 +0100 | wenzelm | repaired 'definition' (cf. d8d7d1b785af); | changeset | files |
| Mon, 01 Mar 2010 17:14:39 +0100 | wenzelm | merged | changeset | files |
| Mon, 01 Mar 2010 17:05:57 +0100 | krauss | more recdef (and old primrec) hunting | changeset | files |
| Mon, 01 Mar 2010 16:42:45 +0100 | krauss | killed recdefs in HOL-Auth | changeset | files |
| Mon, 01 Mar 2010 13:42:31 +0100 | haftmann | merged | changeset | files |
| Mon, 01 Mar 2010 13:40:23 +0100 | haftmann | replaced a couple of constsdefs by definitions (also some old primrecs by modern ones) | changeset | files |
| Mon, 01 Mar 2010 12:30:55 +0100 | Cezary Kaliszyk | export add_quotient_type. | changeset | files |