
This folder is the central repository for all example proofs, proof sequences,
formula sequences, etc. Authoritative versions should be here, copies are put
in various resources-directories or other test scripts.

