Attic/Quot/Examples/FSet_BallBex.thy
branchNominal2-Isabelle2016-1
changeset 3246 66114fa3d2ee
parent 2456 5e76af0a51f9