Lines Matching +defs:SET +defs:UNION
204 (DEFUN UNION-EQUAL (X Y)
208 (UNION-EQUAL (CDR X) Y)
210 (UNION-EQUAL (CDR X) Y)))))
1189 BOOLE-ORC2 CDADAR ASSOC-IF BOOLE-SET
1424 SET SINGLE-FLOAT-NEGATIVE-EPSILON
1425 SET-DIFFERENCE
1426 SINH SET-DISPATCH-MACRO-CHARACTER
1427 SIXTH SET-EXCLUSIVE-OR
1428 SLEEP SET-MACRO-CHARACTER SLOT-BOUNDP
1429 SET-PPRINT-DISPATCH SLOT-EXISTS-P
1430 SET-SYNTAX-FROM-CHAR SLOT-MAKUNBOUND
1482 WITH-OPEN-FILE UNION WITH-OPEN-STREAM
1680 (DEFUN SET-DIFFERENCE-EQ (L1 L2)
1684 (SET-DIFFERENCE-EQ (CDR L1) L2)
1686 (SET-DIFFERENCE-EQ (CDR L1) L2)))))
1933 (DEFUN ADD-TO-SET-EQ (X LST) (IF (MEMBER-EQ X LST) LST (CONS X LST)))
1935 (DEFUN ADD-TO-SET-EQL (X LST) (IF (MEMBER X LST) LST (CONS X LST)))
1956 (ADD-TO-SET-EQ TERM ANS)
2806 (DEFUN SET-DIFFERENCE-EQUAL (L1 L2)
2810 (SET-DIFFERENCE-EQUAL (CDR L1) L2)
2812 (SET-DIFFERENCE-EQUAL (CDR L1) L2)))))
3914 GC$-FN SET-COMPILER-ENABLED GOOD-BYE-FN
3920 THEORY-INVARIANT SET-LET*-ABSTRACTIONP
3921 DEFAXIOM SET-BOGUS-MUTUAL-RECURSION-OK
3922 SET-RULER-EXTENDERS
3925 SET-BACKCHAIN-LIMIT SET-DEFAULT-HINTS!
3926 SET-OVERRIDE-HINTS-MACRO
3928 DEFCHOOSE SET-DEFAULT-BACKCHAIN-LIMIT
3929 SET-STATE-OK SET-IGNORE-OK
3930 SET-NON-LINEARP WITH-OUTPUT
3931 SET-COMPILE-FNS ADD-INCLUDE-BOOK-DIR
3934 SET-WELL-FOUNDED-RELATION
3938 PPROGN SET-ENFORCE-REDUNDANCY
3939 SET-IGNORE-DOC-STRING-ERROR LOGIC
3941 SET-BODY COMP SET-BOGUS-DEFUN-HINTS-OK
3942 DMR-STOP DEFPKG SET-MEASURE-FUNCTION
3943 SET-INHIBIT-WARNINGS DEFTHM MV
3945 MUTUAL-RECURSION SET-REWRITE-STACK-LIMIT
3947 SET-MATCH-FREE-DEFAULT
3949 SET-CASE-SPLIT-LIMITATIONS
3950 SET-IRRELEVANT-FORMALS-OK
3955 MAKE-EVENT SET-VERIFY-GUARDS-EAGERNESS
3960 SET-NU-REWRITER-MODE CAAR CADR
4013 SET-TRACE-EVISC-TUPLE EV-FNCALL-W
4021 EV-FNCALL-META SET-DEBUGGER-ENABLE-FN
4026 INCLUDE-BOOK-FN FMT1 FLSZ SET-W
4292 GC$-FN SET-COMPILER-ENABLED GOOD-BYE-FN
4298 THEORY-INVARIANT SET-LET*-ABSTRACTIONP
4299 DEFAXIOM SET-BOGUS-MUTUAL-RECURSION-OK
4300 SET-RULER-EXTENDERS
4303 SET-BACKCHAIN-LIMIT SET-DEFAULT-HINTS!
4304 SET-OVERRIDE-HINTS-MACRO
4306 DEFCHOOSE SET-DEFAULT-BACKCHAIN-LIMIT
4307 SET-STATE-OK SET-IGNORE-OK
4308 SET-NON-LINEARP WITH-OUTPUT
4309 SET-COMPILE-FNS ADD-INCLUDE-BOOK-DIR
4312 SET-WELL-FOUNDED-RELATION
4316 PPROGN SET-ENFORCE-REDUNDANCY
4317 SET-IGNORE-DOC-STRING-ERROR LOGIC
4319 SET-BODY COMP SET-BOGUS-DEFUN-HINTS-OK
4320 DMR-STOP DEFPKG SET-MEASURE-FUNCTION
4321 SET-INHIBIT-WARNINGS DEFTHM MV
4323 MUTUAL-RECURSION SET-REWRITE-STACK-LIMIT
4325 SET-MATCH-FREE-DEFAULT
4327 SET-CASE-SPLIT-LIMITATIONS
4328 SET-IRRELEVANT-FORMALS-OK
4333 MAKE-EVENT SET-VERIFY-GUARDS-EAGERNESS
4338 SET-NU-REWRITER-MODE CAAR CADR
4391 SET-TRACE-EVISC-TUPLE EV-FNCALL-W
4399 EV-FNCALL-META SET-DEBUGGER-ENABLE-FN
4404 INCLUDE-BOOK-FN FMT1 FLSZ SET-W
4668 GC$-FN SET-COMPILER-ENABLED GOOD-BYE-FN
4674 THEORY-INVARIANT SET-LET*-ABSTRACTIONP
4675 DEFAXIOM SET-BOGUS-MUTUAL-RECURSION-OK
4676 SET-RULER-EXTENDERS
4679 SET-BACKCHAIN-LIMIT SET-DEFAULT-HINTS!
4680 SET-OVERRIDE-HINTS-MACRO
4682 DEFCHOOSE SET-DEFAULT-BACKCHAIN-LIMIT
4683 SET-STATE-OK SET-IGNORE-OK
4684 SET-NON-LINEARP WITH-OUTPUT
4685 SET-COMPILE-FNS ADD-INCLUDE-BOOK-DIR
4688 SET-WELL-FOUNDED-RELATION
4692 PPROGN SET-ENFORCE-REDUNDANCY
4693 SET-IGNORE-DOC-STRING-ERROR LOGIC
4695 SET-BODY COMP SET-BOGUS-DEFUN-HINTS-OK
4696 DMR-STOP DEFPKG SET-MEASURE-FUNCTION
4697 SET-INHIBIT-WARNINGS DEFTHM MV
4699 MUTUAL-RECURSION SET-REWRITE-STACK-LIMIT
4701 SET-MATCH-FREE-DEFAULT
4703 SET-CASE-SPLIT-LIMITATIONS
4704 SET-IRRELEVANT-FORMALS-OK
4709 MAKE-EVENT SET-VERIFY-GUARDS-EAGERNESS
4714 SET-NU-REWRITER-MODE CAAR CADR
4767 SET-TRACE-EVISC-TUPLE EV-FNCALL-W
4775 EV-FNCALL-META SET-DEBUGGER-ENABLE-FN
4780 INCLUDE-BOOK-FN FMT1 FLSZ SET-W
5051 GC$-FN SET-COMPILER-ENABLED GOOD-BYE-FN
5057 THEORY-INVARIANT SET-LET*-ABSTRACTIONP
5058 DEFAXIOM SET-BOGUS-MUTUAL-RECURSION-OK
5059 SET-RULER-EXTENDERS
5062 SET-BACKCHAIN-LIMIT SET-DEFAULT-HINTS!
5063 SET-OVERRIDE-HINTS-MACRO
5065 DEFCHOOSE SET-DEFAULT-BACKCHAIN-LIMIT
5066 SET-STATE-OK SET-IGNORE-OK
5067 SET-NON-LINEARP WITH-OUTPUT
5068 SET-COMPILE-FNS ADD-INCLUDE-BOOK-DIR
5071 SET-WELL-FOUNDED-RELATION
5075 PPROGN SET-ENFORCE-REDUNDANCY
5076 SET-IGNORE-DOC-STRING-ERROR LOGIC
5078 SET-BODY COMP SET-BOGUS-DEFUN-HINTS-OK
5079 DMR-STOP DEFPKG SET-MEASURE-FUNCTION
5080 SET-INHIBIT-WARNINGS DEFTHM MV
5082 MUTUAL-RECURSION SET-REWRITE-STACK-LIMIT
5084 SET-MATCH-FREE-DEFAULT
5086 SET-CASE-SPLIT-LIMITATIONS
5087 SET-IRRELEVANT-FORMALS-OK
5092 MAKE-EVENT SET-VERIFY-GUARDS-EAGERNESS
5097 SET-NU-REWRITER-MODE CAAR CADR
5149 SET-TRACE-EVISC-TUPLE EV-FNCALL-W
5157 EV-FNCALL-META SET-DEBUGGER-ENABLE-FN
5162 INCLUDE-BOOK-FN FMT1 FLSZ SET-W
5353 GC$-FN SET-COMPILER-ENABLED GOOD-BYE-FN
5359 THEORY-INVARIANT SET-LET*-ABSTRACTIONP
5360 DEFAXIOM SET-BOGUS-MUTUAL-RECURSION-OK
5361 SET-RULER-EXTENDERS
5364 SET-BACKCHAIN-LIMIT SET-DEFAULT-HINTS!
5365 SET-OVERRIDE-HINTS-MACRO
5367 DEFCHOOSE SET-DEFAULT-BACKCHAIN-LIMIT
5368 SET-STATE-OK SET-IGNORE-OK
5369 SET-NON-LINEARP WITH-OUTPUT
5370 SET-COMPILE-FNS ADD-INCLUDE-BOOK-DIR
5373 SET-WELL-FOUNDED-RELATION
5377 PPROGN SET-ENFORCE-REDUNDANCY
5378 SET-IGNORE-DOC-STRING-ERROR LOGIC
5380 SET-BODY COMP SET-BOGUS-DEFUN-HINTS-OK
5381 DMR-STOP DEFPKG SET-MEASURE-FUNCTION
5382 SET-INHIBIT-WARNINGS DEFTHM MV
5384 MUTUAL-RECURSION SET-REWRITE-STACK-LIMIT
5386 SET-MATCH-FREE-DEFAULT
5388 SET-CASE-SPLIT-LIMITATIONS
5389 SET-IRRELEVANT-FORMALS-OK
5394 MAKE-EVENT SET-VERIFY-GUARDS-EAGERNESS
5399 SET-NU-REWRITER-MODE CAAR CADR
5451 SET-TRACE-EVISC-TUPLE EV-FNCALL-W
5459 EV-FNCALL-META SET-DEBUGGER-ENABLE-FN
5464 INCLUDE-BOOK-FN FMT1 FLSZ SET-W
5934 SET-FORMS-FROM-BINDINGS (BINDINGS)
5938 (STRING-APPEND '"SET-"
5943 (SET-FORMS-FROM-BINDINGS (CDR BINDINGS)))))
6127 SET-PRINT-CASE (CASE STATE)
6136 'SET-PRINT-CASE
6153 (DEFUN SET-PRINT-BASE (BASE STATE)
6154 (PROG2$ (CHECK-PRINT-BASE BASE 'SET-PRINT-BASE)
6157 (DEFUN SET-PRINT-CIRCLE (X STATE) (PUT-GLOBAL 'PRINT-CIRCLE X STATE))
6159 (DEFUN SET-PRINT-ESCAPE (X STATE) (PUT-GLOBAL 'PRINT-ESCAPE X STATE))
6161 (DEFUN SET-PRINT-PRETTY (X STATE) (PUT-GLOBAL 'PRINT-PRETTY X STATE))
6163 (DEFUN SET-PRINT-RADIX (X STATE) (PUT-GLOBAL 'PRINT-RADIX X STATE))
6165 (DEFUN SET-PRINT-READABLY (X STATE) (PUT-GLOBAL 'PRINT-READABLY X STATE))
6183 (DEFUN SET-PRINT-LENGTH (N STATE)
6184 (PROG2$ (CHECK-NULL-OR-NATP N 'SET-PRINT-LENGTH)
6187 (DEFUN SET-PRINT-LEVEL (N STATE)
6188 (PROG2$ (CHECK-NULL-OR-NATP N 'SET-PRINT-LEVEL)
6191 (DEFUN SET-PRINT-LINES (N STATE)
6192 (PROG2$ (CHECK-NULL-OR-NATP N 'SET-PRINT-LINES)
6195 (DEFUN SET-PRINT-RIGHT-MARGIN (N STATE)
6196 (PROG2$ (CHECK-NULL-OR-NATP N 'SET-PRINT-RIGHT-MARGIN)
6885 (DEFUN SET-TIMER (NAME VAL STATE)
6895 (SET-TIMER NAME (CONS VAL (GET-TIMER NAME STATE))
6916 (SET-TIMER NAME
6927 (SET-TIMER NAME1
6985 (SET-TIMER NAME
7151 (DEFUN UNION-EQ (LST1 LST2)
7155 (UNION-EQ (CDR LST1) LST2)
7157 (UNION-EQ (CDR LST1) LST2)))))
7315 SET-COMPILER-ENABLED (VAL STATE)
7320 'SET-COMPILER-ENABLED
7788 (ADD-TO-SET-EQ (CAR LST)
7792 (DEFUN ADD-TO-SET-EQUAL (X L) (IF (MEMBER-EQUAL X L) L (CONS X L)))
7814 (DEFUN SET-EQUALP-EQUAL (LST1 LST2)
8110 (E/D-FN (CONS 'UNION-THEORIES
8116 (E/D-FN (CONS 'SET-DIFFERENCE-THEORIES