# HG changeset patch
# User paulson
# Date 936797934 -7200
# Node ID 0c05469cad57c372f2b28e20557bce257aab125d
# Parent  3235863a069a02b16f1c0d8f894346135a5b8af3
comments

diff -r 3235863a069a -r 0c05469cad57 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