| Tue, 06 Dec 2005 09:04:09 +0100 |
haftmann |
re-oriented some result tuples in PureThy
|
file |
diff |
annotate
|
| Tue, 25 Oct 2005 18:18:49 +0200 |
wenzelm |
avoid legacy goals;
|
file |
diff |
annotate
|
| Fri, 21 Oct 2005 18:14:38 +0200 |
wenzelm |
OldGoals;
|
file |
diff |
annotate
|
| Tue, 16 Aug 2005 13:42:26 +0200 |
wenzelm |
OuterKeyword;
|
file |
diff |
annotate
|
| 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
|