progs/Matcher.thy
changeset 172 47b5c91eff47
parent 167 cfba674a8fdf
child 208 bd5a8a6b3871
equal deleted inserted replaced
171:8db273a410cc 172:47b5c91eff47