MyhillNerode.thy
changeset 24 f72c82bf59e5
parent 23 e31b733ace44
equal deleted inserted replaced
23:e31b733ace44 24:f72c82bf59e5