src/HOL/Inverse_Image.ML
Tue, 09 Jan 2001 15:22:13 +0100 nipkow `` -> and ``` -> ``
Thu, 12 Oct 2000 18:44:35 +0200 nipkow *** empty log message ***
less more (0) tip