| Wed, 04 Mar 2009 13:42:23 +0100 | haftmann | less arbitrary occurrences of undefined | changeset | files |
| Wed, 04 Mar 2009 13:41:59 +0100 | haftmann | datatype antiquotation does not assume LaTeX as output any longer | changeset | files |
| Wed, 04 Mar 2009 11:49:12 +0100 | nipkow | merged | changeset | files |
| Wed, 04 Mar 2009 11:48:52 +0100 | nipkow | Option.thy | changeset | files |
| Wed, 04 Mar 2009 11:44:05 +0100 | haftmann | consequent rewrite of index_size, size [index] to nat_of; support pseudo-primrec sepcifications with fun | changeset | files |
| Wed, 04 Mar 2009 11:37:50 +0100 | haftmann | merged | changeset | files |
| Wed, 04 Mar 2009 10:52:47 +0100 | haftmann | explicit error message for `improper` instances lacking explicit instance parameter constants | changeset | files |
| Wed, 04 Mar 2009 11:05:29 +0100 | blanchet | Merge. | changeset | files |