| Wed, 22 Aug 2012 11:56:13 +0200 | wenzelm | tuned errors; | changeset | files |
| Tue, 21 Aug 2012 22:26:34 +0200 | wenzelm | prefer File.full_path in accordance to check_file; | changeset | files |
| 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 |