MyhillNerode.thy
changeset 52 4a517c6ac07d
parent 23 e31b733ace44