These source files are adapted for the special purposes of Hets!

For the original or most recent sources, license, and authors see:

Currently DtdToHaskell is only used to convert Isabelle/IsaExport.dtd