equal
deleted
inserted
replaced
13 begin |
13 begin |
14 |
14 |
15 global |
15 global |
16 |
16 |
17 classes "term" |
17 classes "term" |
18 defaultsort "term" |
18 default_sort "term" |
19 |
19 |
20 consts |
20 consts |
21 |
21 |
22 Trueprop :: "two_seqi" |
22 Trueprop :: "two_seqi" |
23 |
23 |