Logic-free reasoning in Isabelle/Isar (2008)

by Stefan Berghofer , Makarius Wenzel