| Name | Date | Size | |
|---|---|---|---|
| .. | 2013-11-29 03:57:59 | 44 | |
| current | 2013-11-29 03:57:59 | 5 | |
| DtdToHaskell.hs | 2013-11-29 03:57:59 | 3.1 KiB | |
| pre-1.22 | 2013-11-29 03:57:59 | 5 | |
| README.Hets | 2012-04-11 11:09:36 | 298 |
README.Hets
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