ProgTutorial/Appendix.thy
2019-05-14 Norbert Schirmer isabelle update_cartouches -t
less more (0) -1 tip