Mon, 22 Mar 2010 23:33:23 -0700 | huffman | use Pair instead of cpair in Fixrec_ex.thy | file | diff | annotate |
Sat, 13 Mar 2010 10:38:38 -0800 | huffman | fixes to allow using fixrec_simp inside a locale, with test in ex/Fixrec_ex.thy | file | diff | annotate |
Tue, 03 Nov 2009 18:32:56 -0800 | huffman | fixrec examples use fixrec_simp instead of fixpat | file | diff | annotate |
Mon, 02 Nov 2009 18:39:41 -0800 | huffman | add fixrec support for HOL pair constructor patterns | file | diff | annotate |
Mon, 27 Apr 2009 19:44:30 -0700 | huffman | add proper support for bottom-patterns in fixrec package | 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, 23 Jun 2005 22:08:24 +0200 | huffman | add new file to test fixrec package | file | diff | annotate |