ShowMixfix.hs revision 2eb84fc82d3ffa9116bc471fda3742bd9e5a24bb
{- HetCATS/CASL/ShowMixfix.hs
$Id$
Author:
Year: 2002
-}
module CASL.ShowMixfix where
import CASL.AS_Basic_CASL
showTERM :: TERM -> String
showTERM t = "bla"