src/HOL/Wellfounded_Relations.thy
Thu, 12 Oct 2000 18:44:35 +0200 nipkow *** empty log message ***
less more (0) tip