00100 (DM DEFUN (L) 00200 (PROG (NAME VARS BODY TYPE) 00300 (SETQ NAME (CADR L)) 00400 (COND ((EQUAL (LENGTH L) 4) (SETQ TYPE (QUOTE EXPR)) 00500 (SETQ L (CDDR L))) 00600 (T (SETQ TYPE (CADDR L)) 00700 (SETQ L (CDDDR L)))) 00800 (SETQ VARS (CAR L)) 00900 (SETQ BODY (CADR L)) 01000 (RETURN (LIST (QUOTE DEFPROP) 01100 NAME 01200 (LIST (QUOTE LAMBDA) VARS BODY) 01300 TYPE)))) 01400