| Wed, 08 Nov 2023 21:44:44 +0100 | nipkow | added lemma | changeset | files |
| Wed, 08 Nov 2023 20:31:29 +0100 | wenzelm | proper default for disjunction (amending 9f7a94117666); | changeset | files |
| Wed, 08 Nov 2023 19:04:44 +0100 | wenzelm | tuned; | changeset | files |
| Wed, 08 Nov 2023 16:05:22 +0100 | wenzelm | more operations; | changeset | files |
| Wed, 08 Nov 2023 15:37:15 +0100 | wenzelm | avoid option -C: free this latter for build-related configuration; | changeset | files |
| Wed, 08 Nov 2023 15:10:19 +0100 | wenzelm | more direct indentation, using Symbol.spaces; | changeset | files |
| Wed, 08 Nov 2023 13:14:59 +0100 | wenzelm | clarified signature; | changeset | files |
| Wed, 08 Nov 2023 13:00:24 +0100 | wenzelm | more accurate treatment of surrounding whitespace; | changeset | files |