tokenized to branch
Update completeness-intro.tex
Update subformulas.tex
Update isomorphic-functions.tex
Merge pull request #15 from rzach/tkenized

Tokenize everything