Prelude.thy
changeset 139 a8b2dd36ec1c
parent 35 d2ddce8b36fd
equal deleted inserted replaced
138:2dfe13bc1443 139:a8b2dd36ec1c