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 |