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