| Tue, 31 Mar 2020 17:26:54 +0200 | nipkow | merged | changeset | files |
| Tue, 31 Mar 2020 15:51:15 +0200 | nipkow | cleaned proofs | changeset | files |
| Mon, 30 Mar 2020 19:50:01 +0200 | wenzelm | clarified signature; | changeset | files |
| Mon, 30 Mar 2020 19:39:11 +0200 | wenzelm | more accurate treatment of errors; | changeset | files |
| Mon, 30 Mar 2020 11:59:44 +0200 | wenzelm | clarified modules: global quasi-scope for markers; | changeset | files |
| Mon, 30 Mar 2020 10:35:10 +0200 | nipkow | redunant simp rule | changeset | files |
| Sun, 29 Mar 2020 23:54:00 +0100 | paulson | merged | changeset | files |
| Sun, 29 Mar 2020 21:30:52 +0100 | paulson | more ugly old proofs | changeset | files |
| Sun, 29 Mar 2020 22:30:43 +0200 | wenzelm | merged | changeset | files |
| Sun, 29 Mar 2020 22:30:26 +0200 | wenzelm | tuned; | changeset | files |
| Sun, 29 Mar 2020 22:23:33 +0200 | wenzelm | clarified modules; | changeset | files |
| Sun, 29 Mar 2020 21:57:40 +0200 | wenzelm | clarified signature: more explicit type Protocol_Message.Marker; | changeset | files |
| Sun, 29 Mar 2020 21:32:20 +0200 | wenzelm | tuned signature -- follow Scala; | changeset | files |
| Sun, 29 Mar 2020 19:47:42 +0200 | wenzelm | tuned; | changeset | files |