doc-src/IsarRef/generic.tex
Fri, 31 Mar 2000 21:57:14 +0200 wenzelm added 'cong' att;
Thu, 30 Mar 2000 15:12:20 +0200 wenzelm added 'moreover' and 'ultimately';
Mon, 27 Mar 2000 18:10:11 +0200 wenzelm rail token vs. terminal;
less more (0) -10 -3 tip