src/HOL/IOA/ABP/Correctness.ML
1996-07-30 berghofe 1996-07-30 Classical tactics now use default claset.
1996-05-31 oheimb 1996-05-31 adapted some proofs for new simplifier
1996-04-23 oheimb 1996-04-23 repaired critical proofs depending on the order inside non-confluent SimpSets
1996-04-19 clasohm 1996-04-19 adapted to new version of Fun.ML
1996-03-11 clasohm 1996-03-11 added constdefs section
1996-03-04 nipkow 1996-03-04 Proof modification.
1996-01-30 clasohm 1996-01-30 expanded tabs
1995-11-13 mueller 1995-11-13 *** empty log message ***
1995-10-04 clasohm 1995-10-04 added local simpsets
1995-09-08 mueller 1995-09-08 *** empty log message ***
1995-05-31 mueller 1995-05-31 polish
1995-04-13 nipkow 1995-04-13 ABP: Alternating bit protocol example