| Thu, 26 Mar 2009 20:08:55 +0100 | wenzelm | interpretation/interpret: prefixes are mandatory by default; | file | diff | annotate |
| Tue, 30 Dec 2008 11:10:01 +0100 | ballarin | Merged. | file | diff | annotate |
| Tue, 16 Dec 2008 21:10:53 +0100 | ballarin | More porting to new locales. | file | diff | annotate |
| Tue, 16 Dec 2008 21:31:55 -0800 | huffman | remove cvs Id tags | file | diff | annotate |
| Thu, 04 Sep 2008 17:24:18 +0200 | huffman | reorganize subsections | file | diff | annotate |
| Thu, 28 Aug 2008 22:08:11 +0200 | haftmann | no parameter prefix for class interpretation | file | diff | annotate |
| Tue, 01 Jul 2008 00:52:46 +0200 | huffman | split Completion.thy from CompactBasis.thy | file | diff | annotate |