Cross Reference: ShowMixfix.hs
xref
: /
hets
/
CASL
/
ShowMixfix.hs
Home
History
Annotate
Line#
Navigate
Download
Search
only in
./
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"