Mon, 04 Oct 1999 21:46:49 +0200 | wenzelm | Tools/typedef_package.ML; | changeset | files |
Mon, 04 Oct 1999 21:46:13 +0200 | wenzelm | eliminated ap/app; | changeset | files |
Mon, 04 Oct 1999 21:45:10 +0200 | wenzelm | proper dependencies of all theories and packages; | changeset | files |