changeset 35431 | 8758fe1fc9f8 |
parent 31076 | 99fe356cbbc2 |
child 35783 | 38538bfe9ca6 |
35430:df2862dc23a8 | 35431:8758fe1fc9f8 |
---|---|
12 |
12 |
13 types |
13 types |
14 tr = "bool lift" |
14 tr = "bool lift" |
15 |
15 |
16 translations |
16 translations |
17 "tr" <= (type) "bool lift" |
17 (type) "tr" <= (type) "bool lift" |
18 |
18 |
19 definition |
19 definition |
20 TT :: "tr" where |
20 TT :: "tr" where |
21 "TT = Def True" |
21 "TT = Def True" |
22 |
22 |