| Thu, 28 Mar 2019 12:49:15 +0100 | wenzelm | tuned whitespace; | changeset | files |
| Thu, 28 Mar 2019 12:39:34 +0100 | wenzelm | proper local_theory command; | changeset | files |
| Wed, 27 Mar 2019 23:55:39 +0100 | wenzelm | more exports: avoid clones in AFP; | changeset | files |
| Wed, 27 Mar 2019 22:15:36 +0100 | wenzelm | tuned; | changeset | files |
| Wed, 27 Mar 2019 21:58:30 +0100 | wenzelm | export_code/check_code formally updates the theory -- this opens further possibilities concerning Generated_Files; | changeset | files |
| Wed, 27 Mar 2019 20:07:53 +0100 | wenzelm | tuned whitespace; | changeset | files |
| Wed, 27 Mar 2019 15:14:08 +0100 | wenzelm | merged | changeset | files |
| Wed, 27 Mar 2019 14:47:49 +0100 | wenzelm | more informative Spec_Rules.Equational: support corecursion; | changeset | files |