1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
|
(FN-NTH-INDEX)
(FN-UPDATE-NTH-INDEX)
(NTH-UPDATE-NTH-META-FN-NEW-TERM)
(NTH-UPDATE-NTH-META-FN)
(APPLY-FOR-DEFEVALUATOR)
(NTH-UPDATE-NTH-EV)
(EVAL-LIST-KWOTE-LST)
(TRUE-LIST-FIX-EV-LST)
(EV-COMMUTES-CAR)
(EV-LST-COMMUTES-CDR)
(NTH-UPDATE-NTH-EV-CONSTRAINT-0)
(NTH-UPDATE-NTH-EV-CONSTRAINT-1)
(NTH-UPDATE-NTH-EV-CONSTRAINT-2)
(NTH-UPDATE-NTH-EV-CONSTRAINT-3)
(NTH-UPDATE-NTH-EV-CONSTRAINT-4)
(NTH-UPDATE-NTH-EV-CONSTRAINT-5)
(NTH-UPDATE-NTH-EV-CONSTRAINT-6)
(NTH-UPDATE-NTH-EV-CONSTRAINT-7)
(NTH-UPDATE-NTH-EV-CONSTRAINT-8)
(NTH-UPDATE-NTH-EV-CONSTRAINT-9)
(NTH-UPDATE-NTH-EV-CONSTRAINT-10)
(META-EXTRACT-ALIST-REC)
(META-EXTRACT-ALIST)
(NTH-UPDATE-NTH-META-RULE-ST
(8988 4494 (:TYPE-PRESCRIPTION TRUE-LISTP-UPDATE-NTH))
(4516 4516 (:REWRITE DEFAULT-CDR))
(4494 4494 (:TYPE-PRESCRIPTION TRUE-LISTP))
(4015 4015 (:REWRITE DEFAULT-CAR))
(614 391 (:REWRITE NTH-UPDATE-NTH-EV-CONSTRAINT-3))
(200 20 (:DEFINITION UPDATE-NTH))
(95 95 (:REWRITE DEFAULT-<-2))
(95 95 (:REWRITE DEFAULT-<-1))
(57 57 (:REWRITE DEFAULT-+-2))
(57 57 (:REWRITE DEFAULT-+-1))
)
(TEST1)
(NTH-UPDATE-NTH-META-LEVEL
(8988 4494 (:TYPE-PRESCRIPTION TRUE-LISTP-UPDATE-NTH))
(4516 4516 (:REWRITE DEFAULT-CDR))
(4494 4494 (:TYPE-PRESCRIPTION TRUE-LISTP))
(4015 4015 (:REWRITE DEFAULT-CAR))
(614 391 (:REWRITE NTH-UPDATE-NTH-EV-CONSTRAINT-3))
(200 20 (:DEFINITION UPDATE-NTH))
(95 95 (:REWRITE DEFAULT-<-2))
(95 95 (:REWRITE DEFAULT-<-1))
(57 57 (:REWRITE DEFAULT-+-2))
(57 57 (:REWRITE DEFAULT-+-1))
)
(STOBJ-ACCESSOR-OR-UPDATER-P)
(STOBJ-ACCESSORS-AND-UPDATERS-REC)
(STOBJ-ACCESSORS-AND-UPDATERS
(21 21 (:REWRITE DEFAULT-CAR))
(18 18 (:REWRITE DEFAULT-CDR))
(11 1 (:DEFINITION FGETPROP))
)
(NTH-UPDATE-NTH-META-RULE-ST$)
(TEST2)
|
