src/Doc/How_to_Prove_it/document/prelude.tex
2014-11-02 wenzelm 2014-11-02 obsolete;
2014-05-02 nipkow 2014-05-02 new documentation: How to Prove it