| Wed, 03 Dec 2008 14:02:24 +0000 | webertj | more examples | changeset | files |
| Wed, 03 Dec 2008 09:53:58 +0100 | haftmann | fixed typo | changeset | files |
| Wed, 03 Dec 2008 09:51:35 +0100 | haftmann | unfold_locales is default method - no need for explicit references | changeset | files |
| Tue, 02 Dec 2008 17:50:39 +0100 | wenzelm | Automated merge with file:///mnt/home/isabelle-repository/repos/isabelle | changeset | files |
| Tue, 02 Dec 2008 14:29:12 +0100 | berghofe | Corrected imports. | changeset | files |
| Mon, 01 Dec 2008 15:36:48 -0800 | huffman | clean up imports related to ContNotDenum | changeset | files |
| Mon, 01 Dec 2008 22:00:38 +0100 | wenzelm | ignore aux stuff in doc-src; | changeset | files |
| Mon, 01 Dec 2008 19:42:26 +0100 | haftmann | merged | changeset | files |
| Mon, 01 Dec 2008 19:41:16 +0100 | haftmann | new Binding module | changeset | files |
| Mon, 01 Dec 2008 16:02:57 +0100 | haftmann | Locale.*note* with conventional argument type | changeset | files |
| Mon, 01 Dec 2008 14:56:08 +0100 | haftmann | added code equation for subset | changeset | files |
| Mon, 01 Dec 2008 17:38:17 +0100 | ballarin | Merged again. | changeset | files |