1.1 --- a/src/Tools/isac/ProgLang/ListC.thy	Tue Aug 31 11:10:30 2010 +0200
     1.2 +++ b/src/Tools/isac/ProgLang/ListC.thy	Tue Aug 31 15:36:57 2010 +0200
     1.3 @@ -1,13 +1,6 @@
     1.4 -(* use_thy_only"../ProgLang/ListC";
     1.5 -   use_thy_only"ProgLang/ListC";
     1.6 -   use_thy"ProgLang/ListC";
     1.7 -
     1.8 -   use_thy_only"ListC";
     1.9 -   W.N. 8.01
    1.10 -   attaches identifiers to definition of listfuns,
    1.11 -   for storing them in list_rls
    1.12 -
    1.13 -WN.29.4.03: 
    1.14 +(* Title:  functions on lists for Scripts
    1.15 +   Author: Walther Neuper 0108
    1.16 +   (c) due to copyright terms
    1.17  *)
    1.18  
    1.19  theory ListC imports Complex_Main