progs/Matcher2.thy
changeset 1025 b963117014ff
parent 1023 fa3e3d00b802
equal deleted inserted replaced
1024:c54cba4e59e7 1025:b963117014ff