Quot/Examples/SigmaEx.thy
changeset 1224 20f76fde8ef1
parent 1139 c4001cda9da3