equal
deleted
inserted
replaced
2 Author: Walther Neuper 0108 |
2 Author: Walther Neuper 0108 |
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") |
8 ("termC.sml")("calculate.sml") |
8 ("../calcelems.sml") |
9 ("rewrite.sml") |
9 ("termC.sml")("calculate.sml") |
|
10 ("rewrite.sml") |
10 begin |
11 begin |
11 use "../library.sml" (*indent,...*) |
12 use "../library.sml" (*indent,...*) |
12 use "../calcelems.sml" (*str_of_type, Thm,...*) |
13 use "../calcelems.sml" (*str_of_type, Thm,...*) |
13 use "termC.sml" (*num_str,...*) |
14 use "termC.sml" (*num_str,...*) |
14 use "calculate.sml" (*???*) |
15 use "calculate.sml" (*???*) |