The Isabelle/Isar Reference Manual. Technische Universität München (2002)

by Markus Wenzel