| Thu, 19 Jul 2007 23:18:54 +0200 | wenzelm | adapted ThyLoad.check_file; | changeset | files |
| Thu, 19 Jul 2007 23:18:52 +0200 | wenzelm | moved deps_thy to ThyLoad (independent of outer syntax); | changeset | files |
| Thu, 19 Jul 2007 23:18:51 +0200 | wenzelm | removed obsolete use/update_thy_only; | changeset | files |
| Thu, 19 Jul 2007 23:18:50 +0200 | wenzelm | use thy_header.ML earlier; | changeset | files |