src/HOL/Hoare/List_Examples.ML
Wed, 22 Nov 1995 18:48:56 +0100 nipkow Added List_Examples
less more (0) tip