equal
deleted
inserted
replaced
11 global |
11 global |
12 |
12 |
13 consts |
13 consts |
14 quniv :: i=>i |
14 quniv :: i=>i |
15 |
15 |
16 path QUniv |
16 local |
17 |
17 |
18 defs |
18 defs |
19 quniv_def "quniv(A) == Pow(univ(eclose(A)))" |
19 quniv_def "quniv(A) == Pow(univ(eclose(A)))" |
20 |
20 |
21 end |
21 end |