src/HOL/AxClasses/Tutorial/Semigroup.thy
Fri, 01 Sep 1995 14:27:36 +0200 wenzelm Various axiomatic type class demos;
less more (0) tip