Local theory specifications in Isabelle/Isar

by Florian Haftmann , Makarius Wenzel
Citations:10 - 1 self