11
12 LK0 = Sequents +
13
14 global
15
16 classes
16 classes term
17 term < logic
17 default term
18
19 default
20 term
21
22 consts
19 consts
23
20
24 Trueprop :: "two_seqi"
21 Trueprop :: "two_seqi"
25
22