Thu, 01 Apr 1999 18:42:48 +0200 new definition for nth.
pusch [Thu, 01 Apr 1999 18:42:48 +0200] rev 6408
new definition for nth. added warnings, if primrec definition is deleted from simpset.
Wed, 31 Mar 1999 16:14:20 +0200 useless relic
nipkow [Wed, 31 Mar 1999 16:14:20 +0200] rev 6407
useless relic
Tue, 30 Mar 1999 13:17:55 +0200 arith_tac
nipkow [Tue, 30 Mar 1999 13:17:55 +0200] rev 6406
arith_tac
(0) -3000 -1000 -300 -100 -30 -10 -3 +3 +10 +30 +100 +300 +1000 +3000 +10000 +30000 tip