1 (* Title: test/../print_exn_G.sml
2 Author: Walther Neuper 110320
3 (c) copyright due to lincense terms.
6 "-----------------------------------------------------------------";
7 "table of contents -----------------------------------------------";
8 "-----------------------------------------------------------------";
9 "----------- test TODO -------------------------------------------";
10 "-----------------------------------------------------------------";
11 "-----------------------------------------------------------------";
12 "-----------------------------------------------------------------";