1.1 --- a/src/Tools/isac/Knowledge/Calculus.thy Wed Sep 08 16:47:22 2010 +0200
1.2 +++ b/src/Tools/isac/Knowledge/Calculus.thy Wed Sep 08 16:54:15 2010 +0200
1.3 @@ -1,4 +1,3 @@
1.4 -
1.5 -Calculus = Real +
1.6 +theory Calculus imports Real begin
1.7
1.8 end
1.9 \ No newline at end of file