Clarify quantification rules in 'how to read this document'

zhengj2007 / bfo-export

Automatically exported from code.google.com/p/bfo

0 stars 0 forks source link

Open GoogleCodeExporter opened 9 years ago

GoogleCodeExporter commented 9 years ago

Are free variable universally quantified? I'd rather not, opting for explicit 
quantification in all cases.

Original issue reported on code.google.com by alanruttenberg@gmail.com on 4 Feb 2013 at 8:05