Wed, 02 Jan 2008 18:13:59 +0100 | sel_rules + sel_appl_atomic_tacs + applyTactic, intermediate state | file | diff | annotate |
Wed, 02 Jan 2008 14:42:04 +0100 | sel_rules: generalize "fun assod" to Rewrite tac -- Rewrite_Set containing tac, stopped withou success. | file | diff | annotate |
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 |