wneuper [Fri, 14 Oct 2005 19:55:47 +0200] rev 438
went on with EqSystem
wneuper [Thu, 13 Oct 2005 19:46:05 +0200] rev 437
redesigning copy-named commented at 'type met ', finished
wneuper [Thu, 13 Oct 2005 19:04:27 +0200] rev 436
redesigning copy-named, intermediate
wneuper [Thu, 13 Oct 2005 16:12:13 +0200] rev 435
redesigning copy-named, intermediate
wneuper [Thu, 13 Oct 2005 16:09:14 +0200] rev 434
redesigning copy-named, intermediate
wneuper [Thu, 13 Oct 2005 08:52:45 +0200] rev 433
added type preori for redesigning copy-named
wneuper [Thu, 13 Oct 2005 06:46:22 +0200] rev 432
reestablished concept 'copy-named' (which seems notyet thouroughly designe)
wneuper [Wed, 12 Oct 2005 19:59:26 +0200] rev 431
debugged match_ags (error from EqSystem)
wneuper [Mon, 10 Oct 2005 19:28:21 +0200] rev 430
added test '-- refine [linear,system]--', ok
wneuper [Fri, 07 Oct 2005 19:53:14 +0200] rev 429
polished systest/ME/ptyps.sml