MyhillNerode.thy
changeset 26 b0cdf8f5a9af
parent 23 e31b733ace44
equal deleted inserted replaced
25:830b40e20684 26:b0cdf8f5a9af