changeset 42151 | 4da4fc77664b |
parent 41436 | 480978f80eae |
child 42361 | 23f352990944 |
--- a/src/HOL/HOLCF/Tools/domaindef.ML Tue Mar 29 17:30:26 2011 +0200 +++ b/src/HOL/HOLCF/Tools/domaindef.ML Tue Mar 29 17:47:11 2011 +0200 @@ -1,4 +1,4 @@ -(* Title: HOLCF/Tools/repdef.ML +(* Title: HOL/HOLCF/Tools/domaindef.ML Author: Brian Huffman Defining representable domains using algebraic deflations.