| Thu, 27 Mar 2008 19:04:41 +0100 | haftmann | added Enum | changeset | files |
| Thu, 27 Mar 2008 19:04:40 +0100 | haftmann | circumventing merge problem | changeset | files |
| Thu, 27 Mar 2008 19:04:39 +0100 | haftmann | explicit case names for rule list_induct2 | changeset | files |
| Thu, 27 Mar 2008 19:04:38 +0100 | haftmann | instance for functions, explicit characters | changeset | files |
| Thu, 27 Mar 2008 19:04:37 +0100 | haftmann | lemmas about map_of (zip _ _) | changeset | files |
| Thu, 27 Mar 2008 19:04:36 +0100 | haftmann | restructuring; explicit case names for rule list_induct2 | changeset | files |
| Thu, 27 Mar 2008 19:04:35 +0100 | haftmann | no "attach UNIV" any more | changeset | files |
| Thu, 27 Mar 2008 17:35:57 +0100 | wenzelm | tuned comments; | changeset | files |
| Thu, 27 Mar 2008 17:35:56 +0100 | wenzelm | tuned comments; | changeset | files |
| Thu, 27 Mar 2008 17:21:41 +0100 | wenzelm | fixed theory imports; | changeset | files |
| Thu, 27 Mar 2008 16:24:10 +0100 | wenzelm | tuned appendix; | changeset | files |
| Thu, 27 Mar 2008 15:32:19 +0100 | wenzelm | removed obsolete appl_syntax, applC_syntax; | changeset | files |
| Thu, 27 Mar 2008 15:32:15 +0100 | wenzelm | eliminated delayed theory setup | changeset | files |
| Thu, 27 Mar 2008 15:32:12 +0100 | wenzelm | Command 'setup': discontinued implicit version. | changeset | files |
| Thu, 27 Mar 2008 14:41:21 +0100 | wenzelm | eliminated theory ProtoPure; | changeset | files |