Attic/Quot/Examples/IntEx.thy
changeset 1954 23480003f9c5
parent 1939 19f296e757c5