typos by valentin
typos by valentin
add slides in plain text
markdown
first round of changes
Update abstract_refinements.markdown
Merge github.com:ucsd-progsys/AbstractRefinementTypes

Conflicts:
	esop13-submission/overview.tex