1.1 --- a/src/Tools/isac/Knowledge/Integrate.thy	Thu Mar 08 12:30:46 2018 +0100
     1.2 +++ b/src/Tools/isac/Knowledge/Integrate.thy	Sat Mar 10 17:20:15 2018 +0100
     1.3 @@ -136,7 +136,7 @@
     1.4  		  Thm ("integral_var", @{thm integral_var}),
     1.5  		  Thm ("integral_add", @{thm integral_add}),
     1.6  		  Thm ("integral_mult", @{thm integral_mult}),
     1.7 -		  Thm ("integral_pow", @{thm integral_pow}),
     1.8 +		  Thm ("integral_pow", TermC.num_str @{thm integral_pow}),
     1.9  		  Calc ("Groups.plus_class.plus", eval_binop "#add_")(*for n+1*)
    1.10  		  ],
    1.11  	 scr = EmptyScr};