1.1 --- /dev/null Thu Jan 01 00:00:00 1970 +0000
1.2 +++ b/test/Tools/isac/MathEngBasic/thmC.sml Fri Apr 10 14:46:55 2020 +0200
1.3 @@ -0,0 +1,17 @@
1.4 +(* Title: "CalcElements/thmC.sml"
1.5 + Author: Walther Neuper
1.6 + (c) due to copyright terms
1.7 +*)
1.8 +
1.9 +"-----------------------------------------------------------------------------------------------";
1.10 +"table of contents -----------------------------------------------------------------------------";
1.11 +"-----------------------------------------------------------------------------------------------";
1.12 +"----------- TODO ------------------------------------------------------------------------------";
1.13 +"-----------------------------------------------------------------------------------------------";
1.14 +"-----------------------------------------------------------------------------------------------";
1.15 +"-----------------------------------------------------------------------------------------------";
1.16 +
1.17 +
1.18 +"----------- TODO ------------------------------------------------------------------------------";
1.19 +"----------- TODO ------------------------------------------------------------------------------";
1.20 +"----------- TODO ------------------------------------------------------------------------------";