| Wed, 19 Oct 2016 16:30:24 +0200 | wenzelm | tuned; | changeset | files |
| Wed, 19 Oct 2016 14:43:11 +0200 | wenzelm | merged | changeset | files |
| Wed, 19 Oct 2016 14:42:28 +0200 | wenzelm | added system option "profiling"; | changeset | files |
| Tue, 18 Oct 2016 17:41:56 +0200 | wenzelm | replaced inefficient valid_accesses by is_valid_access, based on stored input accesses: e.g. relevant for Proof_Context.update_thms; | changeset | files |
| Tue, 18 Oct 2016 16:11:13 +0200 | wenzelm | tuned signature, in accordance to Isabelle_System; | changeset | files |
| Tue, 18 Oct 2016 16:08:55 +0200 | wenzelm | tuned; | changeset | files |
| Tue, 18 Oct 2016 16:03:30 +0200 | wenzelm | clarified modules; | changeset | files |