Thu, 29 Aug 2013 18:24:11 +0200 | blanchet | handle type class annotations on (co)datatype parameters gracefully | changeset | files |
Thu, 29 Aug 2013 18:17:13 +0200 | traytel | store nesting_bnfs in fp_sugar (required in "nested to mutual" reduction) | changeset | files |
Thu, 29 Aug 2013 17:57:25 +0200 | blanchet | cleaner handling of bootstrapping "fake" context, with fewer (no?) obscure bugs | changeset | files |