Thu, 01 Jan 2009 17:47:12 +0100 | wenzelm | avoid implicit use of prems; | 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 |