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

by Markus Wenzel