| Safe Haskell | Safe-Inferred |
|---|
HolLight.Sublogic
- data HolLightSL = Top
Documentation
data HolLightSL
sublogic
Constructors
| Top |
Instances
| Eq HolLightSL | |
| Ord HolLightSL | |
| Show HolLightSL | |
| ShATermConvertible HolLightSL | |
| SublogicName HolLightSL | |
| SemiLatticeWithTop HolLightSL | Sublogics |
| Typeable * HolLightSL | |
| ProjectSublogicM HolLightSL () | |
| ProjectSublogic HolLightSL () | |
| ProjectSublogic HolLightSL Sign | |
| ProjectSublogic HolLightSL HolLightMorphism | |
| MinSublogic HolLightSL () | |
| MinSublogic HolLightSL Sign | |
| MinSublogic HolLightSL Sentence | |
| MinSublogic HolLightSL HolLightMorphism | |
| Logic HolLight HolLightSL () Sentence () () Sign HolLightMorphism () () () | Instance of Logic for propositional logc |
| Comorphism HolLight2Isabelle HolLight HolLightSL () Sentence () () Sign HolLightMorphism () () () Isabelle () () Sentence () () Sign IsabelleMorphism () () () |