Mon, 22 Apr 2019 06:28:17 +0000 | haftmann | clarified structure of theories | changeset | files |
Sat, 20 Apr 2019 18:02:22 +0000 | haftmann | follow convention of bold local syntax | changeset | files |
Sat, 20 Apr 2019 18:02:22 +0000 | haftmann | more use of existing locales | changeset | files |