doc-src/Ref/simplifier-eg.txt
Fri, 12 Dec 1997 17:11:26 +0100 wenzelm tuned;
Tue, 03 May 1994 18:38:28 +0200 lcp final Springer version
Wed, 10 Nov 1993 05:00:57 +0100 lcp Initial revision
less more (0) tip