Utils.hs revision f04e8f3ff56405901be968fd4c6e9769239f1a9b
c63ebf815c8a874525cf18670ad74847f7fc7b26Christian MaederModule : $Header$
63f0e65a37b95621334db9ee4ba0cd9d826f5c0fChristian MaederDescription : Some utilities for SPASS and TPTP.
25cc5fbba63f84b47e389af749f55abbbde71c8cChristian MaederCopyright : (c) Klaus L�ttich, Uni Bremen 2005
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederLicense : similar to LGPL, see HetCATS/LICENSE.txt or LIZENZ.txt
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederMaintainer : luettich@tzi.de
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederStability : provisional
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederPortability : portable
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederSome utilities for SPASS and TPTP
68d10d143f29fcff3c637ba24f90e983995ceae6Christian Maederimport qualified CASL.Sign as CSign
a53841f6d6e86ac751c12a33dc8aadf53f59d977Klaus Luettich-- | A data type for storing the type of a CASL Id; needed for SPASS and TPTP
a737caf82de97c1907027c03e4b4509eb492b4b8Christian Maederdata CType = CSort
3b06e23643a9f65390cb8c1caabe83fa7e87a708Till Mossakowski deriving (Eq,Ord,Show)