| Thu, 16 Apr 2015 15:22:44 +0200 | wenzelm | discontinued pointless warnings: commands are only defined inside a theory context; | changeset | files |
| Thu, 16 Apr 2015 15:11:04 +0200 | wenzelm | tuned comment; | changeset | files |
| 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 |