| Tue, 13 Sep 2022 23:06:52 +0200 | wenzelm | clarified signature; | changeset | files |
| Tue, 13 Sep 2022 23:01:42 +0200 | wenzelm | clarified signature; | changeset | files |
| Wed, 14 Sep 2022 09:15:00 +0000 | haftmann | More on division concerning gauss numbers. | changeset | files |
| 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 |
| Tue, 13 Sep 2022 18:56:39 +0100 | paulson | Tidied a few more proofs | changeset | files |