src/HOL/AxClasses/Tutorial/Xor.ML
1996-08-02 berghofe 1996-08-02 Classical tactics now use default claset.
1995-09-01 wenzelm 1995-09-01 Various axiomatic type class demos;