PropSyntax

Plain source file: property/syntax/PropSyntax.hs (2002-03-19)

PropSyntax is imported by: Prop2Alfa, Prop2Stratego2, TiProp2Stratego2, Prop2Isabelle, TiProp, TiPropDecorate, TiPropInstances, TiPropStruct, DefinedNamesProp, FreeNamesProp, NameMapsProp, ReAssocProp, ScopeNamesProp, PropParseUtil, PropPosSyntax, MapDeclMProp, ToQC.

module PropSyntax (module P) where

import PropSyntaxStruct as P
import PropSyntaxRec as P

Index

(HTML for this module was generated on 2006-08-12. About the conversion tool.)