MyhillNerode.thy
changeset 75 d63baacbdb16
parent 23 e31b733ace44
equal deleted inserted replaced
74:2335fcb96052 75:d63baacbdb16