src/HOL/AxClasses/Tutorial/ProdGroupInsts.thy
1995-10-04 clasohm 1995-10-04 added local simpsets
1995-09-01 wenzelm 1995-09-01 Various axiomatic type class demos;