| Wed, 10 Dec 2008 10:11:18 +0100 | ballarin | Enable keyword 'structure' in for clause of locale expression. | file | diff | annotate |
| Tue, 09 Dec 2008 11:30:24 +0100 | ballarin | When adding locales, delay notes until local theory is built. | file | diff | annotate |
| Fri, 05 Dec 2008 16:41:36 +0100 | ballarin | Interpretation in proof contexts. | file | diff | annotate |
| Fri, 05 Dec 2008 11:26:07 +0100 | ballarin | Interpretation in theories including interaction with subclass relation. | file | diff | annotate |
| Fri, 28 Nov 2008 12:26:14 +0100 | ballarin | Ahere to modern naming conventions; proper treatment of internal vs external names. | file | diff | annotate |
| Tue, 25 Nov 2008 18:07:01 +0100 | ballarin | Expression types cleaned up. | file | diff | annotate |
| Fri, 21 Nov 2008 18:02:19 +0100 | ballarin | Regression tests for new locale implementation. | file | diff | annotate |