Fri, 01 Jul 2005 04:00:23 +0200 |
huffman |
remove uses of sign_of
|
file |
diff |
annotate
|
Thu, 23 Jun 2005 21:27:23 +0200 |
huffman |
New features:
|
file |
diff |
annotate
|
Mon, 20 Jun 2005 22:14:02 +0200 |
wenzelm |
added add_fixrec_i, add_fixpat_i;
|
file |
diff |
annotate
|
Sat, 18 Jun 2005 00:38:18 +0200 |
huffman |
fixrec shows unsolved subgoals when proofs of rewrites fail
|
file |
diff |
annotate
|
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
|
file |
diff |
annotate
|
Wed, 15 Jun 2005 21:48:35 +0200 |
huffman |
allow theorem attributes on fixpat declarations
|
file |
diff |
annotate
|
Wed, 15 Jun 2005 20:50:38 +0200 |
huffman |
fixrec package now handles mutually-recursive definitions
|
file |
diff |
annotate
|
Tue, 14 Jun 2005 04:04:09 +0200 |
huffman |
cleaned up and reorganized
|
file |
diff |
annotate
|
Sat, 04 Jun 2005 02:10:19 +0200 |
huffman |
implementation of fixrec package
|
file |
diff |
annotate
|