equal
deleted
inserted
replaced
1 (* Title: tests on inform.sml |
1 (* Title: tests on inform.sml |
2 Author: Walther Neuper 060225, |
2 Author: Walther Neuper 060225, |
3 (c) due to copyright terms |
3 (c) due to copyright terms |
4 |
|
5 use"../smltest/ME/inform.sml"; |
|
6 use"inform.sml"; |
|
7 *) |
4 *) |
8 |
5 |
9 "-----------------------------------------------------------------"; |
6 "-----------------------------------------------------------------"; |
10 "table of contents -----------------------------------------------"; |
7 "table of contents -----------------------------------------------"; |
11 "-----------------------------------------------------------------"; |
8 "-----------------------------------------------------------------"; |