src/HOL/Vimage.ML
1998-09-15 paulson 1998-09-15 From Compl(A) to -A
1998-07-15 paulson 1998-07-15 Removal of leading "\!\!..." from most Goal commands
1998-07-03 wenzelm 1998-07-03 removed duplicate thms;
1998-06-30 berghofe 1998-06-30 Added additional theorems needed for inductive definitions.
1998-06-22 wenzelm 1998-06-22 isatool fixgoal;
1998-03-12 paulson 1998-03-12 New, stronger rewrites
1998-03-11 paulson 1998-03-11 new theorem
1998-03-05 paulson 1998-03-05 New theorem and simprules
1998-03-03 paulson 1998-03-03 New theorems
1998-02-27 paulson 1998-02-27 New vimage laws
1998-02-24 paulson 1998-02-24 New theory of the inverse image of a function