User Tools

Site Tools


best_practices

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
best_practices [2012/04/13 15:35]
paddy [Parentheses]
best_practices [2012/04/13 15:36] (current)
paddy [Parentheses]
Line 14: Line 14:
 You might also run into problems by implicitly put parentheses (by precedence rules). ​ You might also run into problems by implicitly put parentheses (by precedence rules). ​
  
-As an example, consider quantifiers:​ Is $\forall x. P\; x \vee Q$ to be read as $\forall x. (P\; x \vee Q)$ or as $(\forall x. P\; x) \vee Q$? One might expect the latter ​(which is commonly done in mathematics) ​but Isabelle does the former. ​+As an example, consider quantifiers:​ Is $\forall x. P\; x \vee Q$ to be read as $\forall x. (P\; x \vee Q)$ or as $(\forall x. P\; x) \vee Q$? One might expect the latterbut Isabelle does the former.
  
 If in doubt, check [Isabelle → Settings → Display → Show Brackets] and find out what exactly happens. If in doubt, check [Isabelle → Settings → Display → Show Brackets] and find out what exactly happens.
best_practices.1334324155.txt.gz · Last modified: 2012/04/13 15:35 by paddy