src/HOL/ex/Puzzle.ML
1997-02-12 nipkow 1997-02-12 New class "order" and accompanying changes.
1996-09-26 paulson 1996-09-26 Ran expandshort
1996-09-23 paulson 1996-09-23 Proofs made more robust to work in presence of le_refl
1996-06-21 berghofe 1996-06-21 Classical tactics now use default claset.
1996-04-23 oheimb 1996-04-23 repaired critical proofs depending on the order inside non-confluent SimpSets
1996-01-30 clasohm 1996-01-30 expanded tabs
1995-10-04 clasohm 1995-10-04 added local simpsets
1995-03-22 clasohm 1995-03-22 converted ex with curried function application