1.1 --- a/isac-java/src/java/isac/gui/mawen/syntax/syntax.scala	Wed Mar 29 14:17:09 2017 +0200
     1.2 +++ b/isac-java/src/java/isac/gui/mawen/syntax/syntax.scala	Wed Mar 29 16:24:18 2017 +0200
     1.3 @@ -30,7 +30,8 @@
     1.4      "Groups.plus_class.uminus" -> ("-", " -", "prefix", 80),             //see ~~/src/HOL/Groups.thy
     1.5      "Groups.times_class.times" -> ("*", " * ", "infixl", 70),            //see ~~/src/HOL/Groups.thy
     1.6      "Fields.inverse_class.divide" -> ("/", " / ", "infixl", 70),         //see ~~/src/HOL/Fields.thy
     1.7 -    "Atools.pow" -> ("^", " ^ ", "infixr", 80)                           //see ~~/src/Tools/isac/Knowledge/Atools.thy
     1.8 +    "Atools.pow" -> ("^", " ^ ", "infixr", 80),                          //see ~~/src/Tools/isac/Knowledge/Atools.thy
     1.9 +    "Power.power_class.power" -> ("^", " ^ ", "infixr", 80)              //see ~~/src/HOL/Power.thy
    1.10      //"Transcendental.sin" -> ("sin", "sin ", "\sin{#1}", "infixl", 70)  //see ~~/src/HOL/Transcendental.thy
    1.11      //...ERROR: implicit conversion found: ...
    1.12      )