| Tue, 13 Sep 2022 22:36:41 +0200 | wenzelm | more robust adhoc shell script: work with Isabelle_System.export_isabelle_identifier; | changeset | files |
| Tue, 13 Sep 2022 12:30:37 +0000 | haftmann | more concise instance-specific rules on euclidean relation | changeset | files |
| Tue, 13 Sep 2022 18:56:48 +0100 | paulson | merged | changeset | files |