Sat, 23 Mar 2013 20:50:39 +0100 | haftmann | fundamental revision of big operators on sets | file | diff | annotate |
Fri, 12 Oct 2012 18:58:20 +0200 | wenzelm | discontinued obsolete typedef (open) syntax; | file | diff | annotate |
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 |