branch | decompose-isar |
changeset 42227 | d98e8f3ddb6a |
parent 42226 | 7fff709d1a72 |
child 42248 | ac50595ffe6b |
1.1 --- a/test/Tools/isac/Test_Isac.thy Thu Jul 28 11:37:05 2011 +0200 1.2 +++ b/test/Tools/isac/Test_Isac.thy Thu Jul 28 11:45:11 2011 +0200 1.3 @@ -101,7 +101,7 @@ 1.4 use "calcelems.sml" 1.5 use "ProgLang/termC.sml" 1.6 use "ProgLang/calculate.sml" 1.7 - use "ProgLang/rewrite.sml" (*LINKS*) 1.8 + use "ProgLang/rewrite.sml" 1.9 (*use "ProgLang/listC.sml" 2002*) 1.10 use "ProgLang/scrtools.sml" 1.11 use "ProgLang/tools.sml"