1.1 --- a/src/Tools/isac/Knowledge/Typefix.thy	Wed Aug 25 16:20:07 2010 +0200
     1.2 +++ b/src/Tools/isac/Knowledge/Typefix.thy	Wed Aug 25 16:49:56 2010 +0200
     1.3 @@ -1,11 +1,11 @@
     1.4  (* Title:  fixed type for _RE_parsing of strings from frontend 
     1.5 -   Author: Walther Neuper
     1.6 +   Author: Walther Neuper, hints from Makarius Wenzel
     1.7     9911xx 
     1.8     (c) due to copyright terms
     1.9 -   with hints from Markus Wenzel
    1.10   *)
    1.11  
    1.12 -theory Typefix imports "../ProgLang/Script" begin
    1.13 +theory Typefix imports "ProgLang/Script" begin
    1.14 +(*theory Typefix imports "../ProgLang/Script" begin*)
    1.15  
    1.16  syntax
    1.17