MyhillNerode.thy
changeset 62 d94209ad2880
parent 23 e31b733ace44
equal deleted inserted replaced
61:070f543e2560 62:d94209ad2880