1.1 --- /dev/null Thu Jan 01 00:00:00 1970 +0000 1.2 +++ b/src/sml/kbtest/logexp.sml Thu Apr 17 18:01:03 2003 +0200 1.3 @@ -0,0 +1,2 @@ 1.4 +(* testexamples for LogExp, logarithms and exponential functions and terms 1.5 + *)