| Sat, 02 Nov 2019 10:56:53 +0100 | wenzelm | clarified signature; | changeset | files |
| Sat, 02 Nov 2019 10:43:11 +0100 | wenzelm | tuned; | changeset | files |
| Fri, 01 Nov 2019 19:40:55 +0100 | wenzelm | updated to polyml-5.8.1-20191101 test version; | changeset | files |
| Fri, 01 Nov 2019 18:43:37 +0100 | wenzelm | merged | changeset | files |
| Fri, 01 Nov 2019 18:41:52 +0100 | wenzelm | more operations; | changeset | files |
| Fri, 01 Nov 2019 18:19:32 +0100 | wenzelm | proper export of unnamed proof boxes for unnamed toplevel declarations, e.g. rulify/defn rules in theory IFOL and HOL; | changeset | files |
| Fri, 01 Nov 2019 18:08:46 +0100 | wenzelm | clarified signature (again); | changeset | files |