| 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 |
| Thu, 05 Oct 2006 10:41:27 +0200 | paulson | facts about combinators | changeset | files |
| Thu, 05 Oct 2006 10:40:12 +0200 | paulson | a few new functions on thms and cterms | changeset | files |
| Thu, 05 Oct 2006 05:46:32 +0200 | huffman | reorganize and speed up termdiffs proofs | changeset | files |
| Wed, 04 Oct 2006 18:41:14 +0200 | nipkow | fixed bug in linear arith | changeset | files |