src/HOL/Set.ML
changeset 19070 99001616e0e2
parent 18413 50c0c118e96d
equal deleted inserted replaced
19069:a4b956f8b233 19070:99001616e0e2