Tue, 19 Nov 2013 14:11:26 +0100 | use suffix '_list' etc. instead of prefix 'list_' for constants not present in the old package | file | diff | annotate |
Wed, 02 Oct 2013 13:29:04 +0200 | use new coinduction method and primcorec in examples | file | diff | annotate |
Mon, 12 Aug 2013 23:36:43 +0200 | fixed "sorry"d proofs | file | diff | annotate |
Thu, 25 Apr 2013 10:31:10 +0200 | specify nicer names for map, set and rel in the stream library | file | diff | annotate |
Fri, 14 Dec 2012 16:33:22 +0100 | updated some headers; | file | diff | annotate |
Thu, 13 Dec 2012 15:39:07 +0100 | short library for streams | file | diff | annotate |
Thu, 13 Dec 2012 15:36:08 +0100 | renamed theory | file | diff | annotate |