wneuper [Thu, 17 May 2007 14:05:19 +0200] rev 3880
IUIElement deprecated since UIElement is 'enum'
wneuper [Thu, 17 May 2007 12:31:32 +0200] rev 3879
sml: diff -n , -n/m intermediate
wneuper [Thu, 10 May 2007 11:06:34 +0200] rev 3878
speed up Biegelinie with filter_sameFunId
wneuper [Thu, 10 May 2007 11:06:34 +0200] rev 3877
speed up Biegelinie with filter_sameFunId
wneuper [Thu, 10 May 2007 11:06:34 +0200] rev 3876
speed up Biegelinie with filter_sameFunId
wneuper [Thu, 03 May 2007 10:33:00 +0200] rev 3875
setup with team summer 07
gkompach [Fri, 20 Apr 2007 07:39:00 +0200] rev 3874
bachelor thesis - final version
wneuper [Thu, 19 Apr 2007 14:31:48 +0200] rev 3873
all changes for 'HTL-RMI' 0704 should be marked the same way
wneuper [Thu, 19 Apr 2007 14:18:59 +0200] rev 3872
for setup 0704
wneuper [Thu, 12 Apr 2007 16:11:11 +0200] rev 3871
after Poly.thy is among the ancestors of AlgEin.thy, the methods work also with norm_Poly (instead norm_Rational)