| 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 |