Sat, 28 Apr 2018 21:37:45 +0100 | paulson | getting rid of more "defer", etc. | changeset | files |
Sat, 28 Apr 2018 14:38:53 +0100 | paulson | getting rid of "defer" | changeset | files |
Fri, 27 Apr 2018 20:59:34 +0100 | paulson | another big cleanup | changeset | files |
Fri, 27 Apr 2018 12:43:05 +0100 | paulson | merged | changeset | files |
Fri, 27 Apr 2018 12:38:30 +0100 | paulson | minor typeclass generalisations and junk removal | changeset | files |
Thu, 26 Apr 2018 22:47:22 +0100 | paulson | merged | changeset | files |
Thu, 26 Apr 2018 22:47:04 +0100 | paulson | more messy proofs | changeset | files |