Mon, 12 Sep 2005 23:14:41 +0200 | huffman | added theorem attributes transfer_intro, transfer_unfold, transfer_refold; simplified some proofs; some rearranging | file | diff | annotate |
Fri, 09 Sep 2005 19:34:22 +0200 | huffman | starfun, starset, and other functions on NS types are now polymorphic; | file | diff | annotate |
Tue, 06 Sep 2005 23:10:49 +0200 | huffman | generic nonstandard type constructor | file | diff | annotate |