| Wed, 25 Aug 1999 20:49:02 +0200 | wenzelm | proper bootstrap of HOL theory and packages; | changeset | files |
| Wed, 25 Aug 1999 20:46:40 +0200 | wenzelm | expand_classes renamed to intro_classes; | changeset | files |
| Wed, 25 Aug 1999 20:45:19 +0200 | wenzelm | proper bootstrap of IFOL/FOL theories and packages; | changeset | files |
| Wed, 25 Aug 1999 20:42:01 +0200 | wenzelm | proper setup of GlobalClaset data; | changeset | files |
| Wed, 25 Aug 1999 20:39:50 +0200 | wenzelm | improved msg; | changeset | files |
| Wed, 25 Aug 1999 20:39:18 +0200 | wenzelm | fixed arity; | changeset | files |
| Wed, 25 Aug 1999 20:38:56 +0200 | wenzelm | expand_classes renamed to intro_classes; | changeset | files |
| Wed, 25 Aug 1999 18:53:49 +0200 | wenzelm | TPHOLs99; | changeset | files |