| Thu, 16 Apr 2015 15:00:03 +0200 | wenzelm | more explicit bootstrap_thy; | changeset | files |
| Thu, 16 Apr 2015 14:18:32 +0200 | wenzelm | explicit error for Toplevel.proof_of; | changeset | files |
| Thu, 16 Apr 2015 13:48:10 +0200 | wenzelm | clarified thy_deps; | changeset | files |
| Thu, 16 Apr 2015 13:39:21 +0200 | wenzelm | tuned; | changeset | files |
| Thu, 16 Apr 2015 12:37:30 +0200 | wenzelm | tuned signature; | changeset | files |
| Thu, 16 Apr 2015 12:03:43 +0200 | wenzelm | misc tuning and clarification; | changeset | files |