MyhillNerode.thy
changeset 1 205f91d8d91c
parent 0 932f27fc6b55
child 2 0d63f1c1f67f
equal deleted inserted replaced
0:932f27fc6b55 1:205f91d8d91c