Wed, 20 Sep 2006 00:24:24 +0200 | wenzelm | renamed axclass_xxxx axclasses; | file | diff | annotate |
Sat, 16 Sep 2006 18:04:14 +0200 | huffman | int_diff_cases moved to Integ/IntDef.thy | file | diff | annotate |
Thu, 14 Sep 2006 21:36:26 +0200 | huffman | add instance for class division_ring | file | diff | annotate |
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 |