test/Tools/isac/Frontend/states.sml
branchdecompose-isar
changeset 42321 e68b4b4f0fac
parent 41943 f33f6959948b
child 55464 076b0e78d9b5
     1.1 --- a/test/Tools/isac/Frontend/states.sml	Fri Oct 14 14:34:10 2011 +0200
     1.2 +++ b/test/Tools/isac/Frontend/states.sml	Fri Oct 14 16:12:50 2011 +0200
     1.3 @@ -2,3 +2,12 @@
     1.4     Author: Walther Neuper 110320
     1.5     (c) copyright due to lincense terms.
     1.6  *)
     1.7 +
     1.8 +"-----------------------------------------------------------------";
     1.9 +"table of contents -----------------------------------------------";
    1.10 +"-----------------------------------------------------------------";
    1.11 +"----------- test TODO -------------------------------------------";
    1.12 +"-----------------------------------------------------------------";
    1.13 +"-----------------------------------------------------------------";
    1.14 +"-----------------------------------------------------------------";
    1.15 +