| Tue, 21 Feb 2023 11:07:00 +0100 | wenzelm | clarified signature; | changeset | files |
| Tue, 21 Feb 2023 10:43:30 +0100 | wenzelm | clarified signature; | changeset | files |
| Tue, 21 Feb 2023 11:25:23 +0000 | paulson | merged | changeset | files |
| Mon, 20 Feb 2023 17:11:43 +0000 | paulson | Simplified some more proofs | changeset | files |
| Mon, 20 Feb 2023 15:20:03 +0000 | paulson | merged | changeset | files |
| Mon, 20 Feb 2023 15:19:53 +0000 | paulson | Replacing z powr of_int i by z powi i and adding new material from the AFP | changeset | files |
| Mon, 20 Feb 2023 21:53:15 +0100 | wenzelm | merged | changeset | files |
| Mon, 20 Feb 2023 21:47:25 +0100 | wenzelm | tuned: avoid redundant white space; | changeset | files |
| Mon, 20 Feb 2023 21:40:52 +0100 | wenzelm | clarified signature: more robust operations, without assumption about node 0; | changeset | files |
| Mon, 20 Feb 2023 21:04:49 +0100 | wenzelm | clarified signature: more concise operations; | changeset | files |
| Mon, 20 Feb 2023 17:13:19 +0100 | wenzelm | clarified modules: NUMA is managed by Build_Process; | changeset | files |
| Mon, 20 Feb 2023 17:10:22 +0100 | wenzelm | tuned signature; | changeset | files |
| Mon, 20 Feb 2023 16:36:03 +0100 | wenzelm | clarified signature: move all parameters into Build_Process.Context; | changeset | files |
| Mon, 20 Feb 2023 11:38:21 +0100 | wenzelm | clarified signature; | changeset | files |
| Mon, 20 Feb 2023 11:34:31 +0100 | wenzelm | more elementary data structures, to fit better to SQL database; | changeset | files |
| 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 |