| Wed, 02 Jan 2008 09:56:26 +0100 | sel_rules: generalize "fun assod" to Rewrite tac -- Rewrite_Set containing tac, intermediate | file | diff | annotate |
| Mon, 31 Dec 2007 17:56:24 +0100 | sel_rules: sel_appl_atomic_tacs finished | file | diff | annotate |
| Mon, 31 Dec 2007 14:18:53 +0100 | sel_rules selects _applicable_ tactics only, intermediate stae | file | diff | annotate |