Difference between revisions of "Class meeting for 10-605 Scalable FOL"