| Mon, 28 Jul 2003 11:16:38 +0200 | berghofe | test_term now handles Match exception raised in generated code. | changeset | files |
| Fri, 25 Jul 2003 17:21:22 +0200 | nipkow | Replaced \<leadsto> by \<rightharpoonup> | changeset | files |
| Fri, 25 Jul 2003 10:52:15 +0200 | paulson | Simplified a proof using presburger | changeset | files |
| Thu, 24 Jul 2003 18:23:17 +0200 | paulson | new theory Library/NatPair | changeset | files |