changeset 16070 | 4a83dd540b88 |
parent 15601 | 2de79f493856 |
child 16394 | 495dbcd4f4c9 |
--- a/src/HOLCF/domain/extender.ML Wed May 25 09:04:24 2005 +0200 +++ b/src/HOLCF/domain/extender.ML Wed May 25 09:44:34 2005 +0200 @@ -1,7 +1,6 @@ (* Title: HOLCF/domain/extender.ML ID: $Id$ Author: David von Oheimb - License: GPL (GNU GENERAL PUBLIC LICENSE) Theory extender for domain section, including new-style theory syntax.