progs/Matcher.thy
changeset 884 183bfb52d26e
parent 882 5fcad75ade92
equal deleted inserted replaced
883:740bb9557905 884:183bfb52d26e