case f:
x
0;
p (
(p)+1);p
q ((p)+(q)+1);p
q ((p)+(q)+1);p
q ((p)+(q)+1); 
(
f.case f:x 0;p ((p)+1);pq ((p)+(q)+1);pq ((p)+(q)+1);pq ((p)+(q)+1);) Formula
| 1 | 1. f: Formula case f:x 0;p ((p)+1);pq ((p)+(q)+1);pq ((p)+(q)+1);pq ((p)+(q)+1); |
About:
 |  |  |  |  |  |