00100	(DEFPROP DECLARE DODECLARE COMPACTION)
00200	
00300	(DE DODECLARE (X)
00400		(MAPC (FUNCTION  EVAL)(CDR X)))
00500	
00600	(DF *FEXPR (X)
00700		(MAPC(FUNCTION (LAMBDA (L1)
00800			(PUTPROP L1 T (QUOTE *FSUBR))))X))
00900	
00901	(DF *EXPR (X)
00906		(MAPC(FUNCTION (LAMBDA (L1)
00911			(PUTPROP L1 T (QUOTE *SUBR))))X))
00955	
01000	(DF GENPREFIX (L) NIL)
01100	
01200	(DEFPROP APPLY T *EXPR)
01300	
01400	(REMPROP @AND @BOOL)
01500	(REMPROP @AND @P1)
01600	(REMPROP @AND @P2)
01700	(REMPROP @AND @FSUBR)
01800	(REMPROP @OR @BOOL)
01900	(REMPROP @OR @P1)
02000	(REMPROP @OR @P2)
02100	(REMPROP @OR @FSUBR)
02200	
02300	(SETQ SHOWNAMES T)
02400	(DEFPROP AND (LAMBDA (L)
02500	(AND# (CDR L))) MACRO)
02600	
02700	(DEFPROP AND# (LAMBDA (L)
02800	(COND ((NULL (CDR L))(LIST (QUOTE COND)(LIST (CAR L))))
02900	(T (LIST (QUOTE COND)(LIST (CAR L)(AND# (CDR L)))))))EXPR)
03000	
03100	(DEFPROP OR  (LAMBDA (L)
03200	(OR# (CDR L)))
03300	MACRO)
03400	
03500	(DEFPROP OR# (LAMBDA (L)
03600	(APPEND (QUOTE (COND))(MAPCAR (FUNCTION LIST) L)))
03700	EXPR)
03800	
03900	(PUTPROP @MAPCAR T @*LSUBR)
04000	(PUTPROP @MAPC T @*LSUBR)
04100	(PUTPROP @MAPC# T @*SUBR)
04200	(PUTPROP @MAPCAR# T @*SUBR)
04300	(PUTPROP @APPLY# T @*LSUBR)
04400	(PUTPROP @APPLY T @*LSUBR)
04500	(PUTPROP @MAX T @*LSUBR)
04600	(PUTPROP @MIN T @*LSUBR)
04700	(PUTPROP @MAPCAN T @*SUBR)
04800	(PUTPROP @ASSQ T @*SUBR)
04900	(PUTPROP @SASSQ T @*SUBR)
05000	(PUTPROP @PUTPROP1 T @*SUBR)
05100	(PUTPROP @THTRACES T @*SUBR)
05200	
05300	(SETQ PURE NIL)