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
58
59
60
|
\begin{theindex}
\item {\ptt CONJ\_FORALL\_CONV}, 11
\item {\ptt CONJ\_FORALL\_ONCE\_CONV}, 12
\item {\ptt CONJ\_FORALL\_RIGHT\_RULE}, 13
\indexspace
\item {\ptt DEPTH\_EXISTS\_CONV}, 14
\item {\ptt DEPTH\_FORALL\_CONV}, 14
\indexspace
\item {\ptt EXISTS\_DEL1\_CONV}, 15
\item {\ptt EXISTS\_DEL\_CONV}, 15
\item {\ptt EXISTS\_EQN\_CONV}, 16
\item {\ptt EXPAND\_ALL\_BUT\_CONV}, 16
\item {\ptt EXPAND\_ALL\_BUT\_RIGHT\_RULE}, 18
\item {\ptt EXPAND\_AUTO\_CONV}, 19
\item {\ptt EXPAND\_AUTO\_RIGHT\_RULE}, 20
\indexspace
\item {\ptt FLATTEN\_CONJ\_CONV}, 21
\item {\ptt FORALL\_CONJ\_CONV}, 22
\item {\ptt FORALL\_CONJ\_ONCE\_CONV}, 23
\item {\ptt FORALL\_CONJ\_RIGHT\_RULE}, 24
\indexspace
\item help
\subitem updating search path, 1
\indexspace
\item {\ptt line\_name}, 25
\item {\ptt line\_var}, 25
\item {\ptt load\_library}, 1
\indexspace
\item {\ptt PRUNE\_CONV}, 25
\item {\ptt PRUNE\_ONCE\_CONV}, 26
\item {\ptt PRUNE\_ONE\_CONV}, 27
\item {\ptt PRUNE\_RIGHT\_RULE}, 28
\item {\ptt PRUNE\_SOME\_CONV}, 29
\item {\ptt PRUNE\_SOME\_RIGHT\_RULE}, 30
\indexspace
\item {\ptt UNFOLD\_CONV}, 32
\item {\ptt UNFOLD\_RIGHT\_RULE}, 32
\item {\ptt UNWIND\_ALL\_BUT\_CONV}, 33
\item {\ptt UNWIND\_ALL\_BUT\_RIGHT\_RULE}, 34
\item {\ptt UNWIND\_AUTO\_CONV}, 35
\item {\ptt UNWIND\_AUTO\_RIGHT\_RULE}, 36
\item {\ptt UNWIND\_CONV}, 37
\item {\ptt UNWIND\_ONCE\_CONV}, 38
\end{theindex}
|
