src/HOL/Relation.thy
1996-09-12 paulson 1996-09-12 Simplification and tidying of definitions
1996-04-27 nipkow 1996-04-27 Generalized types of some of the operators (thanks to Norbert Voelker)
1996-02-05 clasohm 1996-02-05 expanded tabs; renamed subtype to typedef; incorporated Konrad's changes
1996-01-26 nipkow 1996-01-26 Streamlined defs in Relation and added new intro/elim rules to do with pattern matching in sets: {(x,y). ...} and UN (x,y):A. ...
1995-05-26 nipkow 1995-05-26 Trancl is now based on Relation which used to be in Integ.