Init_prop.thy
changeset 85 1d1aa5bdd37d
parent 71 db0e8601c229