src/HOL/WF_Rel.thy
1997-05-22 paulson 1997-05-22 Deleted rprod: lex_prod is (usually?) enough
1997-05-20 paulson 1997-05-20 Relation "less_than" internalizes "<" for easy use of TFL
1997-05-16 nipkow 1997-05-16 Distributed Psubset stuff to basic set theory files, incl Finite. Added stuff by bu.
1997-05-15 paulson 1997-05-15 New theories used by TFL