| Wed, 24 Apr 2019 22:29:03 +0100 | paulson | getting rid of most apply steps | changeset | files |
| Mon, 22 Apr 2019 09:33:55 +0000 | haftmann | consolidated map2 clones | changeset | files |
| Mon, 22 Apr 2019 09:33:55 +0000 | haftmann | separate type class for bit comprehension | changeset | files |
| Mon, 22 Apr 2019 09:33:55 +0000 | haftmann | no need to maintain two separate type classes | changeset | files |
| 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 |
| Sat, 20 Apr 2019 18:02:21 +0000 | haftmann | avoid separate type class for mere definitional extension | changeset | files |