| Tue, 27 Dec 2022 10:38:34 +0000 | paulson | merged | changeset | files |
| Tue, 27 Dec 2022 10:37:15 +0000 | paulson | tidied some messy old proofs | changeset | files |
| Mon, 26 Dec 2022 21:28:20 +0100 | wenzelm | tuned signature; | changeset | files |
| Mon, 26 Dec 2022 19:13:37 +0100 | wenzelm | merged | changeset | files |
| Mon, 26 Dec 2022 19:07:42 +0100 | wenzelm | tuned signature; | changeset | files |
| Mon, 26 Dec 2022 19:00:00 +0100 | wenzelm | more robust; | changeset | files |
| Mon, 26 Dec 2022 18:41:27 +0100 | wenzelm | clarified signature: more position information via node_name; | changeset | files |