]
}
]
- class "yellow"
+ class "grass"
[ { "natural numbers with infinity" * } {
[ { "" * } {
[ "ynat ( ∞ )" "ynat_pred ( ⫰? )" "ynat_succ ( ⫯? )"
]
}
]
- class "orange"
+ class "yellow"
[ { "extensions to the library" * } {
[ { "" * } {
[ "star" "lstar" "bool ( Ⓕ ) ( Ⓣ )" "arith ( ?^? )"
]
}
]
- class "red"
+ class "orange"
[ { "generated logical decomposables" * } {
[ { "" * } {
[ "xoa ( ∃∃ ) ( ∨∨ ) ( ∧∧ )" "xoa_props ( ⊥ ) ( ⊤ )" * ]
]
}
]
+ class "red"
+ [ { "" * } {
+ [ { "" * } {
+ [ * ]
+ }
+ ]
+ }
+ ]
}
class "top" { * }