src/HOL/Library/simps_case_conv.ML
changeset 62337 d3996d5873dd
parent 61813 b84688dd7f6b
child 62969 9f394a16c557