src/HOL/AxClasses/Group/Group.thy
Fri, 04 Apr 1997 16:03:44 +0200 nipkow inv -> inverse
Fri, 01 Sep 1995 14:27:36 +0200 wenzelm Various axiomatic type class demos;
less more (0) tip