ProgTutorial/Base.thy
2019-05-21 Norbert Schirmer prefer more result checking in ML antiquotations
less more (0) -30 -10 -1 tip