equal
deleted
inserted
replaced
3 (c) due to copyright terms |
3 (c) due to copyright terms |
4 *) |
4 *) |
5 |
5 |
6 theory ListC imports Complex_Main |
6 theory ListC imports Complex_Main |
7 uses ("library.sml")("calcelems.sml") |
7 uses ("library.sml")("calcelems.sml") |
8 ("ProgLang/term.sml")("ProgLang/calculate.sml") |
8 ("ProgLang/termC.sml")("ProgLang/calculate.sml") |
9 ("ProgLang/rewrite.sml") |
9 ("ProgLang/rewrite.sml") |
10 begin |
10 begin |
11 use "library.sml" (*indent,...*) |
11 use "library.sml" (*indent,...*) |
12 use "calcelems.sml" (*str_of_type, Thm,...*) |
12 use "calcelems.sml" (*str_of_type, Thm,...*) |
13 use "ProgLang/term.sml" (*num_str,...*) |
13 use "ProgLang/termC.sml" (*num_str,...*) |
14 use "ProgLang/calculate.sml" (*???*) |
14 use "ProgLang/calculate.sml" (*???*) |
15 use "ProgLang/rewrite.sml" (*?*** At command "end" (line 205../ListC.thy*) |
15 use "ProgLang/rewrite.sml" (*?*** At command "end" (line 205../ListC.thy*) |
16 |
16 |
17 text {* 'nat' in List.thy replaced by 'real' *} |
17 text {* 'nat' in List.thy replaced by 'real' *} |
18 |
18 |