Wed, 10 Nov 2010 18:15:21 -0800 | huffman | move stuff from Domain.thy to Domain_Aux.thy | file | diff | annotate |
Wed, 10 Nov 2010 17:56:08 -0800 | huffman | move map functions to new theory file Map_Functions; add theory file Plain_HOLCF | file | diff | annotate |
Fri, 29 Oct 2010 17:15:28 -0700 | huffman | renamed {Rep,Abs}_CFun to {Rep,Abs}_cfun | file | diff | annotate |
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 |