Mon, 13 Nov 2006 15:43:11 +0100 | haftmann | dropped LOrder dependency | changeset | files |
Mon, 13 Nov 2006 15:43:09 +0100 | haftmann | moved upwars in HOL theory graph | changeset | files |
Mon, 13 Nov 2006 15:43:08 +0100 | haftmann | added thy dependencies | changeset | files |