diff -r a53606765839 -r 9563a9cd28d3 Literature/FormalizingAutomata-Constable.pdf
Binary file Literature/FormalizingAutomata-Constable.pdf has changed