share/macro/defm.syn

   1 ;;; -*- Mode: LISP; Package: Macsyma; -*- Saved by GJC
   2 (SETQ SAVENO 2940.)
   3 (DEFPROP $=> %=> VERB)
   4 (DEFPROP $=> (LAMBDA ($X $Y) (MBUILDQ-SUBST (LIST (CONS (QUOTE $X) $X) (CONS (QUOTE $Y) $Y)) (QUOTE (($DEFM) $X $Y)))) TRANSLATED-MMACRO)
   5 (DEFPROP $=> T TRANSLATED)
   6 (ADD2LNC (QUOTE &=>) $PROPS)
   7 (DEFPROP $=> &=> OP)
   8 (DEFPROP &=> $=> OPR)
   9 (ADD2LNC (QUOTE &=>) $PROPS)
  10 (DEFINE-SYMBOL (QUOTE &=>))
  11 (DEFPROP $=> DIMENSION-INFIX DIMENSION)
  12 (DEFPROP $=> (32. 61. 62. 32.) DISSYM)
  13 (DEFPROP $=> MSIZE-INFIX GRIND)
  14 (DEFPROP $=> 180. LBP)
  15 (DEFPROP $=> 20. RBP)
  16 (DEFPROP $=> PARSE-INFIX LED)
  17 (DEFPROP %=> DIMENSION-INFIX DIMENSION)
  18 (DEFPROP %=> (32. 61. 62. 32.) DISSYM)
  19 (MDEFPROP $=> ((LAMBDA) ((MLIST) $X $Y) (($BUILDQ) ((MLIST) $X $Y) (($DEFM) $X $Y))) MMACRO)
  20 (ARGS (QUOTE $=>) (QUOTE (NIL . 2.)))
  21 (ADD2LNC (QUOTE (($=>) $X $Y)) $MACROS)
  22 (DEFPROP %=> $=> NOUN)