Local theory specifications in Isabelle/Isar

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