Thu, 15 Sep 2005 23:46:22 +0200 | huffman | merged Transfer.thy and StarType.thy into StarDef.thy; renamed Ifun2_of to starfun2; cleaned up | file | diff | annotate |
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 |
Tue, 06 Sep 2005 23:11:46 +0200 | huffman | class instances for nonstandard types | file | diff | annotate |