HaRe-0.6: tools/Phugs/Front2Stratego.hs

module Front2Stratego(module Tr) where
import Prop2Stratego as Tr
--import Base2Stratego as Tr