src/HOL/Tools/Function/pat_completeness.ML
2010-05-15 wenzelm 2010-05-15 less pervasive names from structure Thm;
2009-10-23 krauss 2009-10-23 function package: more standard names for structures and files
2009-10-23 krauss 2009-10-23 pat_completeness gets its own file