AFifarek/SpeAR — pull request #1 by chaosape (2014-06-10 19:55:04+00:00)
Title: Added a new example that demonstrates the expressive power of quantification

I have also renamed the project from "spear" to "SpeAR".
After merging, the project will likely have to be re-imported into eclipse.