| Tue, 16 Dec 2008 12:08:10 +0100 | ballarin | Use correct mode when parsing elements and conclusion. | changeset | files |
| Sun, 14 Dec 2008 15:43:04 +0100 | ballarin | Strict prefixes in locales expressions. | changeset | files |
| Fri, 12 Dec 2008 19:58:26 +0100 | ballarin | Propagate theorems to registrations. | changeset | files |
| Fri, 12 Dec 2008 14:30:21 +0100 | ballarin | Automated merge with ssh://ballarin@atbroy100.informatik.tu-muenchen.de//home/isabelle-repository/repos/isabelle | changeset | files |