Revision 07fc868ecfd31fecc7c3f964730f946c31f5ab80 authored by Joshua J. Cogliati on 19 June 2020, 15:11:03 UTC, committed by Joshua J. Cogliati on 19 June 2020, 15:11:03 UTC
1 parent ecd99ed
definedp
DEFINEDP name
DEFINED? name
outputs TRUE if the input is the name of a user-defined procedure,
including a library procedure.
Computing file changes ...