Isabelle client usage examples# Basic usage example. Basic usage example. Gallery generated by Sphinx-Gallery