branch | decompose-isar |
changeset 41905 | b772eb34c16c |
parent 37966 | 78938fc8e022 |
1.1 --- a/src/Tools/isac/ProgLang/Language.thy Sat Feb 26 12:53:00 2011 +0100 1.2 +++ b/src/Tools/isac/ProgLang/Language.thy Tue Mar 01 15:23:59 2011 +0100 1.3 @@ -4,7 +4,7 @@ 1.4 *) 1.5 1.6 theory Language imports Script 1.7 -uses ("../ProgLang/scrtools.sml") 1.8 + uses ("../ProgLang/scrtools.sml") 1.9 begin 1.10 1.11 use "../ProgLang/scrtools.sml"