| 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 |