doc-src/TutorialI/Overview/Slides/isabelle_hol.eps
changeset 23659 4b702ac388d6
parent 13497 defb74f6a5bc
equal deleted inserted replaced
23658:d9f8aa7fe6b0 23659:4b702ac388d6