Attic/Quot/Examples/Pair.thy
2010-05-10 Cezary Kaliszyk Membership in a pair of lists.
less more (0) tip