Wed, 30 Nov 2011 16:27:10 +0100 | wenzelm | prefer typedef without extra definition and alternative name; | file | diff | annotate |
Tue, 29 Mar 2011 17:47:11 +0200 | wenzelm | tuned headers; | file | diff | annotate |
Sun, 19 Dec 2010 06:59:01 -0800 | huffman | minimize imports; move domain class instances for powerdomain types into Powerdomains.thy | file | diff | annotate |
Sun, 19 Dec 2010 06:39:19 -0800 | huffman | powerdomain theories require class 'bifinite' instead of 'domain' | file | diff | annotate |
Sun, 19 Dec 2010 04:06:02 -0800 | huffman | renamed Bifinite.thy to Representable.thy | file | diff | annotate |
Fri, 17 Dec 2010 16:43:45 -0800 | huffman | renamed CompactBasis.thy to Compact_Basis.thy | file | diff | annotate | base |