thys/SpecAlts.thy
2018-08-21 Christian Urban updated
less more (0) tip