Global Declarations apply only when free variables are present

windsteiger / Theorema

Theorema: A System for Automated Reasoning (Theorem Proving) and Automated Theory Exploration based on Mathematica

GNU General Public License v3.0

70 stars 14 forks source link

Closed windsteiger closed 11 years ago

windsteiger commented 11 years ago

Global forall should only apply to formulae, where the respective variable is present as a free variable

windsteiger commented 11 years ago

Done