MyhillNerode.thy
changeset 124 8233510cab6c
parent 23 e31b733ace44
equal deleted inserted replaced
123:23c0e6f2929d 124:8233510cab6c