Attic/Quot/Examples/Pair.thy
changeset 3140 5179ff4806c5
parent 2085 78ffb5b00e4f