src/HOL/AxClasses/Tutorial/Group.ML
1996-01-30 clasohm 1996-01-30 expanded tabs
1995-09-01 wenzelm 1995-09-01 Various axiomatic type class demos;