wneuper [Fri, 03 Nov 2006 18:15:55 +0100] rev 682
bugfix for inform with final result (gave ??.empty at ([],Res))
wneuper [Fri, 03 Nov 2006 14:30:32 +0100] rev 681
made [simplification,for_polynomials] ready for inform
wneuper [Fri, 03 Nov 2006 10:51:51 +0100] rev 680
"sym_thm ... [.]" fixed with "fun string_of_thmI"
wneuper [Thu, 02 Nov 2006 19:19:09 +0100] rev 679
work on "sym_thm ... [.]"
wneuper [Thu, 02 Nov 2006 17:16:17 +0100] rev 678
working on inform with simplify rational 2, checks in test
wneuper [Thu, 02 Nov 2006 16:51:12 +0100] rev 677
working on inform with simplify rational 2
wneuper [Thu, 02 Nov 2006 16:08:45 +0100] rev 676
working on inform with simplify rational, new appendFormula outcommented
wneuper [Thu, 02 Nov 2006 10:56:09 +0100] rev 675
working on inform with simplify rational
wneuper [Sun, 22 Oct 2006 15:30:39 +0200] rev 674
repaired the input of CAS-commands
wneuper [Sun, 22 Oct 2006 10:32:35 +0200] rev 673
was root before