Mon, 22 Mar 2010 21:33:31 -0700 | huffman | use fixrec_simp instead of fixpat | file | diff | annotate |
Sat, 13 Mar 2010 20:15:25 -0800 | huffman | renamed some lemmas generated by the domain package | file | diff | annotate |
Sat, 13 Mar 2010 10:00:45 -0800 | huffman | fixrec now generates qualified theorem names | file | diff | annotate |
Wed, 17 Feb 2010 09:08:58 -0800 | huffman | fix warnings about duplicate simp rules | file | diff | annotate |
Fri, 27 Feb 2009 19:05:46 -0800 | huffman | fixrec package uses new-style syntax and local-theory interface | file | diff | annotate |
Thu, 19 Feb 2009 09:39:49 -0800 | huffman | add Powerdomain_ex.thy | file | diff | annotate |