test/Tools/isac/Knowledge/trig.sml
author wneuper <Walther.Neuper@jku.at>
Wed, 11 Jan 2023 11:38:01 +0100
changeset 60650 06ec8abfd3bc
parent 41943 f33f6959948b
permissions -rw-r--r--
eliminate use of Thy_Info 12: TermC partially
neuper@37906
     1
(* testexamples for Trig, trigonometry
neuper@41943
     2
   *)
neuper@41943
     3
"--------------------------------------------------------";
neuper@41943
     4
"table of contents --------------------------------------";
neuper@41943
     5
"--------------------------------------------------------";
neuper@41943
     6
"----------- TODO ---------------------------------------";
neuper@41943
     7
"--------------------------------------------------------";