Mon, 14 Nov 1994 14:47:20 +0100 clasohm added check for newlines not enclosed by '\' inside strings
Mon, 14 Nov 1994 14:29:20 +0100 clasohm updated remarks about grammar; added section about ambiguities
Mon, 14 Nov 1994 11:57:32 +0100 wenzelm exported 'cat';
Mon, 14 Nov 1994 10:49:39 +0100 lcp Pure/tctical/select: now uses cprems_of instead of prems_of and cterm_of:
Mon, 14 Nov 1994 10:46:50 +0100 lcp Pure/drule/cprems_of, cskip_flexpairs, cstrip_imp_prems: new cterm operations
Mon, 14 Nov 1994 10:41:25 +0100 lcp Added month for Coens thesis
(0) -300 -100 -30 -10 -6 +6 +10 +30 +100 +300 +1000 +3000 +10000 +30000 tip