src/HOL/cladata.ML
1997-04-03 paulson 1997-04-03 Declares overloading for if-and-only-if
1997-04-02 paulson 1997-04-02 Installation of blast_tac
1996-09-12 paulson 1996-09-12 Tidied many proofs, using AddIffs to let equivalences take the place of separate Intr and Elim rules. Also deleted most named clasets.