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 |