Mon, 14 Nov 1994 14:29:20 +0100 updated remarks about grammar; added section about ambiguities
clasohm [Mon, 14 Nov 1994 14:29:20 +0100] rev 711
updated remarks about grammar; added section about ambiguities
Mon, 14 Nov 1994 11:57:32 +0100 exported 'cat';
wenzelm [Mon, 14 Nov 1994 11:57:32 +0100] rev 710
exported 'cat';
Mon, 14 Nov 1994 10:49:39 +0100 Pure/tctical/select: now uses cprems_of instead of prems_of and cterm_of:
lcp [Mon, 14 Nov 1994 10:49:39 +0100] rev 709
Pure/tctical/select: now uses cprems_of instead of prems_of and cterm_of: new SELECT_GOAL is MUCH faster
(0) -300 -100 -30 -10 -3 +3 +10 +30 +100 +300 +1000 +3000 +10000 +30000 tip