src/HOL/Library/FinFun_Syntax.thy
2013-03-26 wenzelm 2013-03-26 tuned imports;
2012-05-30 Andreas Lochbihler 2012-05-30 remove pretty syntax for FinFuns at the end and provide separate syntax theory