| Mon, 22 Feb 2021 14:48:03 +0100 | wenzelm | clarified signature, following Isabelle/Scala; | changeset | files |
| Mon, 22 Feb 2021 13:29:55 +0100 | wenzelm | tuned signature; | changeset | files |
| Mon, 22 Feb 2021 12:30:05 +0100 | wenzelm | clarified signature: process_result timing from Isabelle/Scala; | changeset | files |
| Mon, 22 Feb 2021 18:28:12 +0000 | haftmann | NEWS | changeset | files |
| Mon, 22 Feb 2021 07:49:51 +0000 | haftmann | dedicated locale for preorder and abstract bdd operation | changeset | files |
| Mon, 22 Feb 2021 07:49:48 +0000 | haftmann | get rid of traditional predicate | changeset | files |
| Sun, 21 Feb 2021 13:33:05 +0100 | wenzelm | proper treatment of process_result; | changeset | files |
| Sun, 21 Feb 2021 13:14:08 +0100 | wenzelm | more accurate process_result in ML, corresponding to Process_Result in Scala; | changeset | files |