src/HOL/Tools/Function/relation.ML
2010-01-02 krauss 2010-01-02 new year's resolution: reindented code in function package
2009-10-23 krauss 2009-10-23 renamed auto_term.ML -> relation.ML