thys/Spec.thy
2021-02-25 Christian Urban updated
less more (0) -10 -1 tip