src/HOL/Vimage.thy
1999-09-08 paulson 1999-09-08 comments
1998-02-24 paulson 1998-02-24 New theory of the inverse image of a function