| Mon, 02 Dec 2019 13:33:45 +0100 | wenzelm | more robust; | changeset | files |
| Mon, 02 Dec 2019 13:03:09 +0100 | wenzelm | more informative export; | changeset | files |
| Mon, 02 Dec 2019 12:03:55 +0100 | wenzelm | tuned signature -- following Export_Theory.Spec_Rule in Scala; | changeset | files |
| Mon, 02 Dec 2019 11:57:53 +0100 | wenzelm | tuned comment; | changeset | files |
| Mon, 02 Dec 2019 11:57:42 +0100 | wenzelm | clarified export of spec rules: more like locale; | changeset | files |
| Sun, 01 Dec 2019 21:29:08 +0100 | wenzelm | formal position for spec rule (not significant for equality); | changeset | files |