doc-src/ZF/If.thy
2003-09-24 paulson 2003-09-24 new example for the Isar version of the ZF manual