1.1 --- a/src/HOLCF/Deflation.thy Tue Dec 16 21:18:53 2008 -0800 1.2 +++ b/src/HOLCF/Deflation.thy Tue Dec 16 21:31:55 2008 -0800 1.3 @@ -1,5 +1,4 @@ 1.4 (* Title: HOLCF/Deflation.thy 1.5 - ID: $Id$ 1.6 Author: Brian Huffman 1.7 *) 1.8