src/HOL/Relation.ML
Fri, 26 Jan 1996 20:25:39 +0100 nipkow Streamlined defs in Relation and added new intro/elim rules to do with
Wed, 04 Oct 1995 13:10:03 +0100 clasohm added local simpsets; removed IOA from 'make test'
Fri, 26 May 1995 18:11:47 +0200 nipkow Trancl is now based on Relation which used to be in Integ.
less more (0) tip