Fri, 14 Jun 1996 12:25:02 +0200 Explicitly included add_mult_distrib & add_mult_distrib2
paulson [Fri, 14 Jun 1996 12:25:02 +0200] rev 1798
Explicitly included add_mult_distrib & add_mult_distrib2
Fri, 14 Jun 1996 12:23:31 +0200 Updated list of theories for target ex
paulson [Fri, 14 Jun 1996 12:23:31 +0200] rev 1797
Updated list of theories for target ex
Fri, 14 Jun 1996 12:22:59 +0200 Tidied spacing
paulson [Fri, 14 Jun 1996 12:22:59 +0200] rev 1796
Tidied spacing
(0) -1000 -300 -100 -30 -10 -3 +3 +10 +30 +100 +300 +1000 +3000 +10000 +30000 tip