Wed, 09 Nov 1994 15:47:11 +0100 updated discussion of congruence rules in first section
lcp [Wed, 09 Nov 1994 15:47:11 +0100] rev 698
updated discussion of congruence rules in first section
Wed, 09 Nov 1994 13:50:59 +0100 changed warning for extremely ambiguous expressions
clasohm [Wed, 09 Nov 1994 13:50:59 +0100] rev 697
changed warning for extremely ambiguous expressions
Thu, 03 Nov 1994 16:52:19 +0100 Pure/goals/prepare_proof/mkresult: now smashes flexflex pairs in the final
lcp [Thu, 03 Nov 1994 16:52:19 +0100] rev 696
Pure/goals/prepare_proof/mkresult: now smashes flexflex pairs in the final result.
(0) -300 -100 -30 -10 -3 +3 +10 +30 +100 +300 +1000 +3000 +10000 +30000 tip