1.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.2 +++ b/test/Tools/isac/Knowledge/calculus.sml	Wed Mar 23 17:20:39 2011 +0100
     1.3 @@ -0,0 +1,4 @@
     1.4 +(* Title:  test/../calculus.sml
     1.5 +   Author: Walther Neuper 110320
     1.6 +   (c) copyright due to lincense terms.
     1.7 +*)