| Wed, 22 Dec 2010 18:24:04 -0800 | huffman | rename function ideal_completion.basis_fun to ideal_completion.extension | 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 06:34:41 -0800 | huffman | type 'defl' takes a type parameter again (cf. b525988432e9) | file | diff | annotate |