src/HOLCF/Tools/Domain/domain_theorems.ML
2009-07-21 haftmann 2009-07-21 obey captialized directory names convention