src/HOL/Finite_Set.ML
changeset 20380 14f9f2a1caa6
parent 17274 746bb4c56800
child 21019 650c48711c7b