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