| Mon, 20 Feb 2023 10:51:16 +0100 | wenzelm | clarified signature (see also 68a7ad1385bc); | changeset | files |
| Mon, 20 Feb 2023 10:42:07 +0100 | wenzelm | clarified signature; | changeset | files |
| Mon, 20 Feb 2023 10:29:45 +0100 | wenzelm | clarified modules; | changeset | files |
| Mon, 20 Feb 2023 13:59:42 +0100 | nipkow | merged | changeset | files |
| Mon, 20 Feb 2023 13:59:16 +0100 | nipkow | merge in backouts | changeset | files |
| Mon, 20 Feb 2023 13:55:58 +0100 | nipkow | Backed out changeset bafdc56654cf | changeset | files |
| Mon, 20 Feb 2023 13:50:56 +0100 | nipkow | backout rev 334015f9098e (for Main_Doc.thy only) | changeset | files |
| Mon, 20 Feb 2023 13:37:51 +0100 | nipkow | Backed out changeset 1fde0e4fd791 | changeset | files |
| Sun, 19 Feb 2023 21:21:19 +0000 | paulson | merged | changeset | files |
| Sun, 19 Feb 2023 21:21:10 +0000 | paulson | Simplifying more proofs | changeset | files |
| Sun, 19 Feb 2023 13:51:49 +0100 | wenzelm | merged | changeset | files |
| Sun, 19 Feb 2023 13:47:10 +0100 | wenzelm | proper Nodes.init (amending 9b35c1171d9a); | changeset | files |
| Sun, 19 Feb 2023 13:43:38 +0100 | wenzelm | unused; | changeset | files |
| Sun, 19 Feb 2023 13:37:38 +0100 | wenzelm | tuned; | changeset | files |
| Mon, 13 Feb 2023 22:40:29 +0100 | wenzelm | clarified signature defaults; | changeset | files |
| Mon, 13 Feb 2023 22:24:34 +0100 | wenzelm | clarified types: support a variety of Build_Job instances; | changeset | files |