src/HOL/Library/Indicator_Function.thy
2013-11-12 hoelzl 2013-11-12 equation when indicator function equals 0 or 1
2011-11-09 wenzelm 2011-11-09 avoid inconsistent sort constraints;
2010-07-01 hoelzl 2010-07-01 Add theory for indicator function.