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
Thu, 13 Apr 1995 11:33:57 +0200 Defined ordinal difference, --
lcp [Thu, 13 Apr 1995 11:33:57 +0200] rev 1033
Defined ordinal difference, --
(0) -1000 -300 -100 -30 -10 -3 +3 +10 +30 +100 +300 +1000 +3000 +10000 +30000 tip