ROOT
2019-05-17 Norbert Schirmer reactivated Readme.thy for authors
2019-05-16 Norbert Schirmer tuned ML-antiquotations; added intro portions.
less more (0) -2 tip