src/HOL/Relation_Power.ML
2001-01-05 nipkow 2001-01-05 ^^ -> ``` Univalent -> single_valued
2000-10-12 nipkow 2000-10-12 *** empty log message ***