almost finished with draft
Merge branch 'master' of https://github.com/edechter/GrammarInduction into prism

Conflicts:
	drafts/cfp/draft.tex
Draft changes.