Thu, 28 Mar 2019 13:20:57 +0100 | wenzelm | clarified diagrams; | changeset | files |
Thu, 28 Mar 2019 13:06:32 +0100 | wenzelm | clarified diagrams; | changeset | files |
Thu, 28 Mar 2019 12:59:44 +0100 | wenzelm | proper syntax diagrams; | changeset | files |
Thu, 28 Mar 2019 12:52:31 +0100 | wenzelm | tuned names; | changeset | files |
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 |