src/smltest/IsacKnowledge/simplify.sml
Fri, 03 Nov 2006 18:15:55 +0100 bugfix for inform with final result (gave ??.empty at ([],Res))
Sun, 22 Oct 2006 10:28:37 +0200 <NEW> worksheet has space "__________" for CAS-command
Tue, 10 Jul 2007 09:00:04 +0200 intermed.work on Diff as CAScmd: still something wrong with next position;