src/HOL/Relation.thy
1996-02-05 ago expanded tabs; renamed subtype to typedef;
1996-01-26 ago Streamlined defs in Relation and added new intro/elim rules to do with
1995-05-26 ago Trancl is now based on Relation which used to be in Integ.