hets/CASL/ShowMixfix.hs

	ShowMixfix.hs revision fbda575b158b9cafbd22bb2550ecc17fdfd76374
a27e9e05958bc51ea09edb8d8d862fe8b125313bslive
d2a771c01de1a39b6f6770d9edd8b271d8e4f10eerikabele{- HetCATS/CASL/ShowMixfix.hs
a27e9e05958bc51ea09edb8d8d862fe8b125313bslive   $Id$
ef685e00a47967e27d89709461728a229d762172nd   Author:
ef685e00a47967e27d89709461728a229d762172nd   Year:    2002
ef685e00a47967e27d89709461728a229d762172nd
a27e9e05958bc51ea09edb8d8d862fe8b125313bslive-}
a27e9e05958bc51ea09edb8d8d862fe8b125313bslive
51853aa2ebfdf9903a094467e1d02099f143639daaronmodule ShowMixfix where
a27e9e05958bc51ea09edb8d8d862fe8b125313bslive
a27e9e05958bc51ea09edb8d8d862fe8b125313bsliveimport AS_Basic_CASL
a27e9e05958bc51ea09edb8d8d862fe8b125313bslive
b44815871de48215476ad1d4cc46d3f99da532a5erikabeleshowTERM :: TERM -> String
a27e9e05958bc51ea09edb8d8d862fe8b125313bsliveshowTERM t = "bla"