The Old Isabelle Reference Manual. http: //isabelle.in.tum.de/doc/ref.pdf (0)

by Isabelle’s Logics HOL http isabelle in tum dedoclogics-HOL pdf Lawrence C Paulson