src/HOL/Finite_Set.ML
changeset 17215 8b969275a5d2
parent 16733 236dfafbeb63
child 17274 746bb4c56800
equal deleted inserted replaced
17214:af174eeafba1 17215:8b969275a5d2