src/HOLCF/fixrec_package.ML
Fri, 01 Jul 2005 04:00:23 +0200 huffman remove uses of sign_of
Thu, 23 Jun 2005 21:27:23 +0200 huffman New features:
Mon, 20 Jun 2005 22:14:02 +0200 wenzelm added add_fixrec_i, add_fixpat_i;
Sat, 18 Jun 2005 00:38:18 +0200 huffman fixrec shows unsolved subgoals when proofs of rewrites fail
Fri, 17 Jun 2005 21:19:31 +0200 huffman support theorem names and attributes for fixrec equations; also make them into simp rules by default, like primrec does
Wed, 15 Jun 2005 21:48:35 +0200 huffman allow theorem attributes on fixpat declarations
Wed, 15 Jun 2005 20:50:38 +0200 huffman fixrec package now handles mutually-recursive definitions
Tue, 14 Jun 2005 04:04:09 +0200 huffman cleaned up and reorganized
Sat, 04 Jun 2005 02:10:19 +0200 huffman implementation of fixrec package
less more (0) tip