| 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 | base |
| Mon, 29 Dec 2008 14:08:08 +0100 | haftmann | adapted HOL source structure to distribution layout | file | diff | annotate | base |