| Copyright | (c) Jonathan von Schroeder, DFKI GmbH 2010 |
|---|---|
| License | GPLv2 or higher, see LICENSE.txt |
| Maintainer | jonathan.von_schroeder@dfki.de |
| Stability | experimental |
| Portability | portable |
| Safe Haskell | Safe-Inferred |
HolLight.Sign
Description
Documentation
data Sign
Instances
| Eq Sign | |
| Ord Sign | |
| Show Sign | |
| ShATermConvertible Sign | |
| Pretty Sign | |
| Typeable * Sign | |
| ProjectSublogic HolLightSL Sign | |
| ProjectSublogic HolLightSL HolLightMorphism | |
| MinSublogic HolLightSL Sign | |
| MinSublogic HolLightSL HolLightMorphism | |
| Sentences HolLight Sentence Sign HolLightMorphism () | |
| StaticAnalysis HolLight () Sentence () () Sign HolLightMorphism () () | Static Analysis for propositional logic |
| Logic HolLight HolLightSL () Sentence () () Sign HolLightMorphism () () () | Instance of Logic for propositional logc |
| Comorphism HolLight2Isabelle HolLight HolLightSL () Sentence () () Sign HolLightMorphism () () () Isabelle () () Sentence () () Sign IsabelleMorphism () () () |
prettyTypes :: Map String Int -> Doc