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