Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
comments
authorpaulson
Wed, 08 Sep 1999 15:38:54 +0200
changeset 7515 0c05469cad57
parent 7514 3235863a069a
child 7516 a1d476251238
comments
src/HOL/Vimage.thy file | annotate | diff | comparison | revisions 
--- 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
isabelle