src/HOL/subset.ML
changeset 2545 d10abc8c11fb
parent 2515 6ff9bd353121
child 2893 2ee005e46d6d