src/HOL/Vimage.thy

--- a/src/HOL/Vimage.thy	Wed Sep 08 15:38:12 1999 +0200
+++ b/src/HOL/Vimage.thy	Wed Sep 08 15:38:54 1999 +0200
@@ -1,3 +1,11 @@
+(*  Title:      HOL/Vimage
+    ID:         $Id$
+    Author:     Lawrence C Paulson, Cambridge University Computer Laboratory
+    Copyright   1998  University of Cambridge
+
+Inverse image of a function
+*)
+
 Vimage = Set +
 
 consts