Mon, 03 Jul 1995 13:06:36 +0200 clasohm added comments; fixed a bug; reduced memory usage slightly
Fri, 30 Jun 1995 11:39:20 +0200 lcp added mention of new theories BT and Perm
Fri, 30 Jun 1995 11:34:14 +0200 lcp new inductive definition: permutations
(0) -1000 -300 -100 -30 -10 -3 +3 +10 +30 +100 +300 +1000 +3000 +10000 +30000 tip