Fri, 27 Apr 2018 12:38:30 +0100 minor typeclass generalisations and junk removal
paulson <lp15@cam.ac.uk> [Fri, 27 Apr 2018 12:38:30 +0100] rev 68050
minor typeclass generalisations and junk removal
Thu, 26 Apr 2018 22:47:22 +0100 merged
paulson [Thu, 26 Apr 2018 22:47:22 +0100] rev 68049
merged
Thu, 26 Apr 2018 22:47:04 +0100 more messy proofs
paulson <lp15@cam.ac.uk> [Thu, 26 Apr 2018 22:47:04 +0100] rev 68048
more messy proofs
(0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 -3 +3 +10 +30 +100 +300 +1000 +3000 tip