src/HOL/AxClasses/Tutorial/Semigroups.thy
1996-03-12 clasohm 1996-03-12 added constdefs section
1995-09-01 wenzelm 1995-09-01 Various axiomatic type class demos;