References to, includes from, and redirects to forall

Date Name Who What
2016-05-25 00:56:09 breakeval Fabien reference
2017-12-14 16:36:03 Deferred evaluation RoyKeene reference
2011-12-11 16:18:43 Playing first-order logic dkf reference