PPfeInstances

Plain source file: property/PPfeInstances.hs (2004-01-24)

PPfeInstances is imported by: Main{-hs2alfa/apfe.hs-}, Main{-property/ppfe.hs-}. 

module PPfeInstances where

import FreeNamesProp()
import ScopeNamesProp()
import NameMapsProp()
import MapDeclMProp() -- needed for removing pattern bindings.
import TiProp()
import RemoveListCompProp()
import ReAssocProp()
Index

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