Print_AS.hs revision 34bff097c14521b5e57ce37279a34256e1f78aa5
80ca0b9f5ad61b2335af25d4dcf25a04ebfcbc91Peter MajorModule : $Header$
80ca0b9f5ad61b2335af25d4dcf25a04ebfcbc91Peter MajorCopyright : (c) Wiebke Herding, C. Maeder, Uni Bremen 2004-2006
80ca0b9f5ad61b2335af25d4dcf25a04ebfcbc91Peter MajorLicense : similar to LGPL, see HetCATS/LICENSE.txt or LIZENZ.txt
80ca0b9f5ad61b2335af25d4dcf25a04ebfcbc91Peter MajorMaintainer : till@informatik.uni-bremen.de
80ca0b9f5ad61b2335af25d4dcf25a04ebfcbc91Peter MajorStability : provisional
80ca0b9f5ad61b2335af25d4dcf25a04ebfcbc91Peter MajorPortability : portable
80ca0b9f5ad61b2335af25d4dcf25a04ebfcbc91Peter Majorprinting AS_ConstraintCASL ConstraintCASLSign data types
80ca0b9f5ad61b2335af25d4dcf25a04ebfcbc91Peter Majorinstance Pretty ConstraintFORMULA where
80ca0b9f5ad61b2335af25d4dcf25a04ebfcbc91Peter Major pretty = text . show