Mon, 03 Sep 2012 17:57:34 +0200 | traytel | generate coinductive witnesses for codatatypes | file | diff | annotate |
Thu, 30 Aug 2012 13:39:43 +0900 | Christian Sternagel | reverted (accidentally commited) changes from changeset fd4aef9bc7a9 | file | diff | annotate |
Thu, 30 Aug 2012 13:03:03 +0900 | Christian Sternagel | List is implicitly imported by Main | file | diff | annotate |
Thu, 30 Aug 2012 09:47:46 +0200 | blanchet | more work on BNF sugar -- up to derivation of nchotomy | file | diff | annotate |
Tue, 28 Aug 2012 17:16:00 +0200 | blanchet | added new (co)datatype package + theories of ordinals and cardinals (with Dmitriy and Andrei) | file | diff | annotate |