equal
deleted
inserted
replaced
4 |
4 |
5 12345678901234567890123456789012345678901234567890123456789012345678901234567890 |
5 12345678901234567890123456789012345678901234567890123456789012345678901234567890 |
6 10 20 30 40 50 60 70 80 |
6 10 20 30 40 50 60 70 80 |
7 *) |
7 *) |
8 |
8 |
9 theory Atools imports Descript begin |
9 theory Atools imports Descript |
|
10 uses ("../Interpret/mstools.sml") |
|
11 ("../Interpret/ctree.sml") |
|
12 ("../Interpret/ptyps.sml") (*^^^ all for: fun prep_pbt, fun store_pbt*) |
|
13 begin |
|
14 use "../Interpret/mstools.sml" |
|
15 use "../Interpret/ctree.sml" |
|
16 use "../Interpret/ptyps.sml" |
10 |
17 |
11 consts |
18 consts |
12 |
19 |
13 Arbfix :: "real" |
20 Arbfix :: "real" |
14 Undef :: "real" |
21 Undef :: "real" |