/Makefile/1.3/Mon Jun 26 20:11:23 2017//
/Makefile.inc/1.3/Wed Mar  8 22:53:35 2017//
/extract.pl/1.2/Wed Jan 18 19:22:18 2017//
D/define////
D/delim////
D/fromto////
D/matrix////
D/nullary////
D/over////
D/size////
D/subsup////
D/unary////
