src/Tools/isac/Scripts/calculate.sml
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