src/HOL/Library/Indicator_Function.thy
2011-11-09 wenzelm 2011-11-09 avoid inconsistent sort constraints;
2010-07-01 hoelzl 2010-07-01 Add theory for indicator function.