wneuper [Thu, 17 Jan 2008 15:34:56 +0100] rev 281
for PolyMinus at Sch"arding, corrections p.34
wneuper [Thu, 17 Jan 2008 12:31:17 +0100] rev 280
prepare (last?) meeting with MM
wneuper [Fri, 11 Jan 2008 19:08:40 +0100] rev 279
meeting MM + WN
wneuper [Sun, 06 Jan 2008 19:16:26 +0100] rev 278
for PolyMinus at Sch"arding, corrections p.33 finished
wneuper [Sun, 06 Jan 2008 18:56:55 +0100] rev 277
for PolyMinus at Sch"arding, corrections p.33
wneuper [Fri, 04 Jan 2008 19:00:50 +0100] rev 276
for PolyMinus at Sch"arding, realize p.39, intermediate state
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.