Prelude.thy
changeset 62 d94209ad2880
parent 35 d2ddce8b36fd
equal deleted inserted replaced
61:070f543e2560 62:d94209ad2880