Quot/Examples/FSet.thy
changeset 867 9e247b9505f0
parent 787 5cf83fa5b36c
child 918 7be9b054f672