Index of /obsolete/macros/generic/proofs