src/HOL/Library/Indicator_Function.thy
2010-07-01 hoelzl 2010-07-01 Add theory for indicator function.