src/HOL/Relation.thy
Tue, 03 Apr 2012 17:26:30 +0900 griff renamed "rel_comp" to "relcomp" (to be consistent with, e.g., "relpow")
Thu, 05 Apr 2012 15:23:26 +0200 huffman define reflp directly, in the manner of symp and transp
Thu, 22 Mar 2012 18:54:39 +0100 haftmann fixed typo
less more (0) -30 -10 -3 tip