Hereditary substitutions can be extended to disjunction and absurdity

[andreasabel]

Hereditary substitutions can be extended to disjunction and absurdity.

I just recently understood how (although others understood before me).
See http://www.cse.chalmers.se/~abela/projects.html#NormalizationIPL