References to, includes from, and redirects to forall

Date Name Who What
2016-05-25 00:56:09 breakeval Fabien reference
2022-04-11 10:25:25 Deferred evaluation pooryorick reference
2022-04-11 09:53:14 Playing first-order logic pooryorick reference