Wed, 19 May 2010 14:38:25 -0700 | add section about fixrec definitions with looping simp rules | file | diff | annotate |
Mon, 22 Mar 2010 23:33:23 -0700 | use Pair instead of cpair in Fixrec_ex.thy | file | diff | annotate |
Sat, 13 Mar 2010 10:38:38 -0800 | 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 | fixrec examples use fixrec_simp instead of fixpat | file | diff | annotate |
Mon, 02 Nov 2009 18:39:41 -0800 | add fixrec support for HOL pair constructor patterns | file | diff | annotate |
Mon, 27 Apr 2009 19:44:30 -0700 | add proper support for bottom-patterns in fixrec package | file | diff | annotate |
Fri, 27 Feb 2009 19:05:46 -0800 | fixrec package uses new-style syntax and local-theory interface | file | diff | annotate |
Thu, 23 Jun 2005 22:08:24 +0200 | add new file to test fixrec package | file | diff | annotate |