| Wed, 27 Oct 2010 13:54:18 -0700 | huffman | rename lemmas *_defined_iff and *_strict_iff to *_bottom_iff | file | diff | annotate |
| Tue, 26 Oct 2010 14:19:59 -0700 | huffman | use Named_Thms instead of Theory_Data for some domain package theorems | file | diff | annotate |
| Mon, 08 Mar 2010 11:34:53 -0800 | huffman | generate take_induct lemmas | file | diff | annotate |
| Mon, 08 Mar 2010 09:33:05 -0800 | huffman | move lemmas from Domain.thy to Domain_Aux.thy | file | diff | annotate |
| Mon, 08 Mar 2010 08:12:48 -0800 | huffman | move take-proofs stuff into new theory Domain_Aux.thy | file | diff | annotate |