| Tue, 21 Aug 2012 21:48:32 +0200 | wenzelm | more standard Thy_Load.check_thy for Pure.thy, relying on its header; | changeset | files |
| Tue, 21 Aug 2012 21:25:45 +0200 | wenzelm | updated Thy_Load.check_thy; | changeset | files |
| Tue, 21 Aug 2012 20:32:33 +0200 | wenzelm | refined Thy_Load.check_thy: find more uses in body text, based on keywords; | changeset | files |