| Fri, 06 Oct 2006 11:17:53 +0200 | paulson | renamed the combinator laws | changeset | files |
| Fri, 06 Oct 2006 11:17:27 +0200 | paulson | Improved detection of identical clauses, also in the conjecture | changeset | files |
| Fri, 06 Oct 2006 11:16:40 +0200 | paulson | Refinements to abstraction. Seeding with combinators K, I and B. | changeset | files |
| Fri, 06 Oct 2006 03:49:36 +0200 | kleing | examples for hex and bin numerals | changeset | files |
| Thu, 05 Oct 2006 13:54:17 +0200 | mengj | Changed and removed some functions related to combinators, since they are Isabelle constants now. | changeset | files |
| Thu, 05 Oct 2006 10:46:26 +0200 | paulson | Now the DFG output includes correct declarations of c_fequal, but not hEXTENT | changeset | files |
| Thu, 05 Oct 2006 10:42:39 +0200 | paulson | improvements to abstraction, ensuring more re-use of abstraction functions | changeset | files |