| Wed, 03 Dec 2008 15:58:44 +0100 |
haftmann |
made repository layout more coherent with logical distribution structure; stripped some $Id$s
|
changeset |
files
|
| Wed, 03 Dec 2008 15:27:41 +0100 |
ballarin |
Sublocale: removed public after_qed; identifiers private to NewLocale.
|
changeset |
files
|
| Wed, 03 Dec 2008 15:26:46 +0100 |
ballarin |
Made global_note_qualified public.
|
changeset |
files
|
| 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
|