thys/SpecExt.thy
2020-10-24 Christian Urban updated
less more (0) -1 tip