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 |