equal
deleted
inserted
replaced
74 re-used with some trivial changes only (mostly adding some type |
74 re-used with some trivial changes only (mostly adding some type |
75 constraints).% |
75 constraints).% |
76 \end{isamarkuptext}% |
76 \end{isamarkuptext}% |
77 \isamarkuptrue% |
77 \isamarkuptrue% |
78 % |
78 % |
|
79 \isadelimproof |
|
80 % |
|
81 \endisadelimproof |
|
82 % |
|
83 \isatagproof |
|
84 % |
|
85 \endisatagproof |
|
86 {\isafoldproof}% |
|
87 % |
|
88 \isadelimproof |
|
89 % |
|
90 \endisadelimproof |
|
91 % |
|
92 \isadelimproof |
|
93 % |
|
94 \endisadelimproof |
|
95 % |
|
96 \isatagproof |
|
97 % |
|
98 \endisatagproof |
|
99 {\isafoldproof}% |
|
100 % |
|
101 \isadelimproof |
|
102 % |
|
103 \endisadelimproof |
|
104 % |
|
105 \isadelimproof |
|
106 % |
|
107 \endisadelimproof |
|
108 % |
|
109 \isatagproof |
|
110 % |
|
111 \endisatagproof |
|
112 {\isafoldproof}% |
|
113 % |
|
114 \isadelimproof |
|
115 % |
|
116 \endisadelimproof |
|
117 % |
|
118 \isadelimproof |
|
119 % |
|
120 \endisadelimproof |
|
121 % |
|
122 \isatagproof |
|
123 % |
|
124 \endisatagproof |
|
125 {\isafoldproof}% |
|
126 % |
|
127 \isadelimproof |
|
128 % |
|
129 \endisadelimproof |
|
130 % |
|
131 \isadelimproof |
|
132 % |
|
133 \endisadelimproof |
|
134 % |
|
135 \isatagproof |
|
136 % |
|
137 \endisatagproof |
|
138 {\isafoldproof}% |
|
139 % |
|
140 \isadelimproof |
|
141 % |
|
142 \endisadelimproof |
|
143 % |
|
144 \isadelimproof |
|
145 % |
|
146 \endisadelimproof |
|
147 % |
|
148 \isatagproof |
|
149 % |
|
150 \endisatagproof |
|
151 {\isafoldproof}% |
|
152 % |
|
153 \isadelimproof |
|
154 % |
|
155 \endisadelimproof |
|
156 % |
|
157 \isadelimproof |
|
158 % |
|
159 \endisadelimproof |
|
160 % |
|
161 \isatagproof |
|
162 % |
|
163 \endisatagproof |
|
164 {\isafoldproof}% |
|
165 % |
|
166 \isadelimproof |
|
167 % |
|
168 \endisadelimproof |
|
169 % |
|
170 \isadelimproof |
|
171 % |
|
172 \endisadelimproof |
|
173 % |
|
174 \isatagproof |
|
175 % |
|
176 \endisatagproof |
|
177 {\isafoldproof}% |
|
178 % |
|
179 \isadelimproof |
|
180 \isanewline |
|
181 % |
|
182 \endisadelimproof |
|
183 % |
79 \isadelimtheory |
184 \isadelimtheory |
80 % |
185 % |
81 \endisadelimtheory |
186 \endisadelimtheory |
82 % |
187 % |
83 \isatagtheory |
188 \isatagtheory |