| Tue, 06 Jun 2000 20:31:43 +0200 | wenzelm | added rule_params; | file | diff | annotate |
| Mon, 18 Oct 1999 15:20:21 +0200 | paulson | fixed comments | file | diff | annotate |
| Wed, 21 Oct 1998 11:10:38 +0200 | wenzelm | improved var names; | file | diff | annotate |
| Tue, 20 Oct 1998 16:18:18 +0200 | wenzelm | split_paired_all.ML: turn surjective pairing into split rule; | file | diff | annotate |