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