Copyright | (c) Klaus Luettich, Uni Bremen 2005 |
---|---|
License | GPLv2 or higher, see LICENSE.txt |
Maintainer | luecke@informatik.uni-bremen.de |
Stability | provisional |
Portability | portable |
Safe Haskell | Safe-Inferred |
pretty print AS of CASL_DL
Copyright | (c) Klaus Luettich, Uni Bremen 2005 |
---|---|
License | GPLv2 or higher, see LICENSE.txt |
Maintainer | luecke@informatik.uni-bremen.de |
Stability | provisional |
Portability | portable |
Safe Haskell | Safe-Inferred |
pretty print AS of CASL_DL