Thu, 30 Mar 2000 19:47:17 +0200 If all termination conditions are proved automatically,
nipkow [Thu, 30 Mar 2000 19:47:17 +0200] rev 8625
If all termination conditions are proved automatically, the recusrion equations are added to the simpset automatically. recdef.rules -> recdef.simps
Thu, 30 Mar 2000 19:45:51 +0200 recdef.rules -> recdef.simps
nipkow [Thu, 30 Mar 2000 19:45:51 +0200] rev 8624
recdef.rules -> recdef.simps
Thu, 30 Mar 2000 19:45:18 +0200 mod in recdef allows to access the correct simpset via simpset().
nipkow [Thu, 30 Mar 2000 19:45:18 +0200] rev 8623
mod in recdef allows to access the correct simpset via simpset().
(0) -3000 -1000 -300 -100 -30 -10 -3 +3 +10 +30 +100 +300 +1000 +3000 +10000 +30000 tip