progs/automata/der.sc
changeset 809 2b9956d29038
parent 784 7dac4492b0e6
equal deleted inserted replaced
808:ba3edaf7dc49 809:2b9956d29038