| Fri, 18 Oct 2024 15:45:38 +0200 | wenzelm | clarified inner-syntax markup; | changeset | files |
| Fri, 18 Oct 2024 15:42:31 +0200 | wenzelm | tuned whitespace; | changeset | files |
| Fri, 18 Oct 2024 15:36:42 +0200 | wenzelm | tuned whitespace; | changeset | files |
| Fri, 18 Oct 2024 14:37:09 +0200 | wenzelm | clarified syntax declarations: keep things together; | changeset | files |
| Fri, 18 Oct 2024 14:35:13 +0200 | wenzelm | tuned; | changeset | files |
| Fri, 18 Oct 2024 14:20:09 +0200 | wenzelm | more inner-syntax markup; | changeset | files |
| Fri, 18 Oct 2024 11:44:05 +0200 | wenzelm | tuned proofs; | changeset | files |