ProgTutorial/Essential.thy
2019-05-17 Norbert Schirmer prefer cartouches over " in ML antiquotations
2019-05-16 Norbert Schirmer tuned ML-antiquotations; added intro portions.
2019-05-14 Norbert Schirmer tuned parser for patterns in ML_response... antiquotations
2019-05-14 Norbert Schirmer isabelle update_cartouches -t
less more (0) -30 -10 -4 tip