src/Provers/split_paired_all.ML
changeset 5897 b3548f939dd2
parent 5704 1ddf7e1e8b19
child 7879 4547f0bd9454