thys/ReStar.thy
changeset 184 a42c773ec8ab
parent 172 cdc0bdcfba3f