wneuper [Fri, 04 Jan 2008 16:08:52 +0100] rev 275
for PolyMinus at Sch"arding, make p.33 confluent
wneuper [Fri, 04 Jan 2008 11:16:28 +0100] rev 274
for PolyMinus at Sch"arding, make p.33 confluent
wneuper [Wed, 02 Jan 2008 18:13:59 +0100] rev 273
sel_rules + sel_appl_atomic_tacs + applyTactic, intermediate state
wneuper [Wed, 02 Jan 2008 14:42:04 +0100] rev 272
sel_rules: generalize "fun assod" to Rewrite tac -- Rewrite_Set containing tac, stopped withou success.
wneuper [Wed, 02 Jan 2008 10:06:00 +0100] rev 271
sel_rules: generalize "fun assod" to Rewrite tac -- Rewrite_Set containing tac, intermediate
wneuper [Wed, 02 Jan 2008 09:56:26 +0100] rev 270
sel_rules: generalize "fun assod" to Rewrite tac -- Rewrite_Set containing tac, intermediate
wneuper [Mon, 31 Dec 2007 17:56:24 +0100] rev 269
sel_rules: sel_appl_atomic_tacs finished
wneuper [Mon, 31 Dec 2007 14:18:53 +0100] rev 268
sel_rules selects _applicable_ tactics only, intermediate stae
wneuper [Mon, 31 Dec 2007 09:55:43 +0100] rev 267
for PolyMinus at Sch"arding, p.34 finshed
wneuper [Fri, 28 Dec 2007 14:57:38 +0100] rev 266
for PolyMinus at Sch"arding, probe added, not tested.