src/Provers/split_paired_all.ML
2000-06-06 ago added rule_params;
1999-10-18 ago fixed comments
1998-10-21 ago improved var names;
1998-10-20 ago split_paired_all.ML: turn surjective pairing into split rule;