| Wed, 27 Mar 2019 20:07:53 +0100 | wenzelm | tuned whitespace; | changeset | files |
| Wed, 27 Mar 2019 15:14:08 +0100 | wenzelm | merged | changeset | files |
| Wed, 27 Mar 2019 14:47:49 +0100 | wenzelm | more informative Spec_Rules.Equational: support corecursion; | changeset | files |
| Wed, 27 Mar 2019 12:08:08 +0100 | wenzelm | more operations; | changeset | files |
| Wed, 27 Mar 2019 14:08:26 +0000 | paulson | more stuff from HOL Light: Euclidean spaces and n-spheres, Hausdorff spaces, etc. | changeset | files |
| Tue, 26 Mar 2019 22:18:30 +0100 | wenzelm | merged | changeset | files |
| Tue, 26 Mar 2019 22:13:36 +0100 | wenzelm | more informative Spec_Rules.Equational, notably primrec argument types; | changeset | files |