Hets - the Heterogeneous Tool Set

Copyright(c) Klaus Luettich Uni Bremen 2004
Licensesimilar to LGPL, see HetCATS/LICENSE.txt or LIZENZ.txt
Maintainerluecke@informatik.uni-bremen.de
Stabilityprovisional
Portabilityportable Parser for CASL_DL logic
Safe HaskellNone

CASL_DL.Parse_AS

Contents

Description

 

Documentation

Orphan instances