src/HOL/Tools/split_rule.ML
changeset 19008 14c1b2f5dda4
parent 18728 6790126ab5f6
child 19735 ff13585fbdab