The set consists (now) of:
– a small package for dealing with
;
– , for defining
mathematical proof structures;
– for omitting the
page number in one-page documents and
– , which prints a 12-hour
format time.
The author is Mike Piff.
License: pd Version dated: 2010-12-04 Catalogued: 2010-12-08