diff info/dir @ 96394:c594284b21d1

(defmath): Add `doc-string' decl. Add docstring.
author John Paul Wallington <jpw@pobox.com>
date Sat, 28 Jun 2008 14:14:29 +0000
parents cc217a7a7b17
children 6c0df3bc82b3
line wrap: on
line diff