branch | isac-update-Isa09-2 |
changeset 38025 | 67a110289e4e |
parent 38015 | 67ba02dffacc |
child 38031 | 460c24a6a6ba |
1.1 --- a/src/Tools/isac/ProgLang/scrtools.sml Mon Sep 27 13:35:06 2010 +0200 1.2 +++ b/src/Tools/isac/ProgLang/scrtools.sml Tue Sep 28 07:28:10 2010 +0200 1.3 @@ -1,4 +1,4 @@ 1.4 -(* tools which depend on Script.thy and thus are not in term.sml 1.5 +(* tools which depend on Script.thy and thus are not in termC.sml 1.6 (c) Walther Neuper 2000 1.7 1.8 use"ProgLang/scrtools.sml";