thys/SpecAlts.thy
changeset 581 9db2500629be
parent 291 25b7d6bfd294