| Fri, 03 Aug 2007 16:28:21 +0200 | wenzelm | certify: no check_thy here; | changeset | files |
| 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 |