ExtSign.hs revision 4c7f058cdd19ce67b2b5d4b7f69703d0f8a21e38
8db2d2c5a8df6dd6d7302bc59577150b87237940Till MossakowskiModule : $Header$
8db2d2c5a8df6dd6d7302bc59577150b87237940Till MossakowskiDescription : derived functions for signatures with symbol sets
212ded2709e18da9cbd5096b969f869f316c460bChristian MaederCopyright : (c) Till Mossakowski, and Uni Bremen 2002-2006
819e29dba060687cf391e444e0f6ff88c1908cc3Christian MaederLicense : similar to LGPL, see HetCATS/LICENSE.txt or LIZENZ.txt