Wed, 21 Jan 2009 23:40:23 +0100 | haftmann | no base sort in class import | 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 |