Commit Graph
1 Commits
Author SHA1 Message Date
Gavin Schulz 2ddf0a9586 Fix some overlooked references to forall. 2015-01-15 19:05:58 -08:00