| Fri, 03 Aug 2007 16:28:20 +0200 | wenzelm | improved check_thy: produce a checked theory_ref (thread-safe version); | changeset | files |
| Fri, 03 Aug 2007 16:28:19 +0200 | wenzelm | moved Admin/proper_int.ML to Pure/ML-Systems/proper_int.ML; | changeset | files |
| Fri, 03 Aug 2007 16:28:18 +0200 | wenzelm | added dependency on Tools/Metis/metis.ML; | changeset | files |