1.1 --- a/src/Tools/isac/Knowledge/Vect.thy	Wed Sep 01 16:15:13 2010 +0200
     1.2 +++ b/src/Tools/isac/Knowledge/Vect.thy	Wed Sep 01 16:43:58 2010 +0200
     1.3 @@ -1,5 +1,3 @@
     1.4  Vect = Real +
     1.5 -(*-------------------- consts ------------------------------------------------*)
     1.6  
     1.7 -(*-------------------- rules -------------------------------------------------*)
     1.8  end