Thu, 13 Apr 1995 11:38:48 +0200 Recoded function atomize so that new ways of creating
lcp [Thu, 13 Apr 1995 11:38:48 +0200] rev 1036
Recoded function atomize so that new ways of creating simplification rules can be added easily.
Thu, 13 Apr 1995 11:37:39 +0200 Proved Int_Diff_eq.
lcp [Thu, 13 Apr 1995 11:37:39 +0200] rev 1035
Proved Int_Diff_eq.
Thu, 13 Apr 1995 11:35:24 +0200 fixed typo
lcp [Thu, 13 Apr 1995 11:35:24 +0200] rev 1034
fixed typo
(0) -1000 -300 -100 -30 -10 -3 +3 +10 +30 +100 +300 +1000 +3000 +10000 +30000 tip