| Sun, 11 Mar 2018 15:06:48 +0100 | wenzelm | tuned comments; | changeset | files |
| Sun, 11 Mar 2018 15:05:43 +0100 | wenzelm | convenience to represent XML.Body as single XML.Elem; | changeset | files |
| Sun, 11 Mar 2018 13:18:41 +0100 | wenzelm | clarified AFP partitioning; | changeset | files |
| Sat, 10 Mar 2018 19:36:59 +0000 | haftmann | abstract algebraic bit operations | changeset | files |
| Sat, 10 Mar 2018 20:24:00 +0100 | wenzelm | more balanced AFP partitioning; | changeset | files |
| Sat, 10 Mar 2018 15:52:47 +0100 | wenzelm | workaround for occasional deadlock seen in HOL-Proofs with threads=2; | changeset | files |