neuper@37992: theory Vect imports Real begin
neuper@37906: 
neuper@37906: end