package hollight
Ordering
- Alphabetic
Visibility
- Public
- All
Value Members
- object HOLLight
-
object
HOLLightHOAS extends NestedHOASNotation
added by rule in HOL Light theory