Remove old code for eqToIso and gradLemma for isos
authorAnders <mortberg@chalmers.se>
Thu, 18 Jun 2015 14:26:18 +0000 (16:26 +0200)
committerAnders <mortberg@chalmers.se>
Thu, 18 Jun 2015 14:26:18 +0000 (16:26 +0200)
commita96e93dd354c1d303155b6bb29ab8bc049b76232
tree5065509c0acac605b621121f5906f67280073dbd
parent8c24f2ae3691104a9812830457abe4e6ee65078b
Remove old code for eqToIso and gradLemma for isos
Eval.hs