| 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 |
| Fri, 20 Feb 2009 18:29:10 +0100 | haftmann | maintain order of constructors in datatypes; clarified conventions for type schemes | changeset | files |
| Fri, 20 Feb 2009 18:29:09 +0100 | haftmann | stripped Id | changeset | files |
| Fri, 20 Feb 2009 09:15:23 -0800 | huffman | merged | changeset | files |
| Fri, 20 Feb 2009 08:02:11 -0800 | huffman | add theory of products as real vector spaces to Library | changeset | files |
| Fri, 20 Feb 2009 07:41:41 -0800 | huffman | add new theory Product_plus.thy to Library | changeset | files |