| Fri, 20 Feb 2009 22:25:36 -0800 | huffman | generalize lemmas from nat to 'a::wellorder | changeset | files |
| Fri, 20 Feb 2009 22:10:37 -0800 | huffman | generalize some lemmas | changeset | files |
| Sat, 21 Feb 2009 09:58:45 +0100 | nipkow | merged | changeset | files |
| Sat, 21 Feb 2009 09:58:26 +0100 | nipkow | removed redundant thms | changeset | files |
| Fri, 20 Feb 2009 16:07:20 -0800 | huffman | merged | changeset | files |
| Fri, 20 Feb 2009 11:58:00 -0800 | huffman | class instances for num1 | changeset | files |
| Fri, 20 Feb 2009 23:46:03 +0100 | nipkow | Removed redundant lemmas | changeset | files |
| Fri, 20 Feb 2009 21:29:34 +0100 | haftmann | merged | changeset | files |
| Fri, 20 Feb 2009 21:29:24 +0100 | haftmann | also consider superclasses properly | changeset | files |
| Fri, 20 Feb 2009 20:51:06 +0100 | nipkow | merged | changeset | files |
| Fri, 20 Feb 2009 20:50:49 +0100 | nipkow | removed subsumed lemmas | changeset | files |
| Fri, 20 Feb 2009 18:33:38 +0100 | haftmann | merged | changeset | files |
| Fri, 20 Feb 2009 18:33:28 +0100 | haftmann | datatype antiquotation: always bracket types with spaces in between | changeset | files |
| Fri, 20 Feb 2009 18:29:11 +0100 | haftmann | consequent use of term `code equation` | changeset | files |
| Fri, 20 Feb 2009 18:29:10 +0100 | haftmann | permissive check for pattern discipline in case schemes | changeset | files |