1.1 --- a/src/Tools/isac/ProgLang/Tactical.thy	Mon Dec 30 11:16:00 2019 +0100
     1.2 +++ b/src/Tools/isac/ProgLang/Tactical.thy	Wed Jan 15 11:47:38 2020 +0100
     1.3 @@ -12,7 +12,7 @@
     1.4  \<close>
     1.5  subsection \<open>Consts for tacticals\<close>
     1.6  consts
     1.7 -  Chain    :: "['a => 'a, 'a => 'a, 'a] => 'a" (infixr "#>" 10) (*@ used*)
     1.8 +  Chain    :: "['a => 'a, 'a => 'a, 'a] => 'a" (infixr "#>" 10)
     1.9    Try      :: "['a => 'a, 'a] => 'a"
    1.10    Repeat   :: "['a => 'a, 'a] => 'a" 
    1.11    Or       :: "['a => 'a, 'a => 'a, 'a] => 'a" (infixr "Or" 10)