src/Tools/isac/IsacKnowledge/Test.ML
Fri, 20 Aug 2010 12:25:37 +0200 finished update ME/calchead.sml + pushed updates over all sml+test
Thu, 19 Aug 2010 15:02:06 +0200 infix mem union --> member union op = ...
Wed, 18 Aug 2010 13:55:23 +0200 replaced None-->NONE, Some-->SOME over all files
Mon, 16 Aug 2010 16:36:19 +0200 changed \"plus\" -> \"PLUS\", times, power_, sqrt_, times_
Thu, 12 Aug 2010 11:02:32 +0200 moved isac + test to final dire-structure