progs/Matcher.thy
changeset 958 fddf099a82f8
parent 882 5fcad75ade92
equal deleted inserted replaced
957:34b3aeb65fbe 958:fddf099a82f8