User Tools
best_practices
Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision | Last revision Both sides next revision | ||
|
best_practices [2012/04/13 15:35] paddy [Sets and Functions] |
best_practices [2012/04/13 15:35] 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 latter (which is commonly done in mathematics) but 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.txt · Last modified: 2012/04/13 15:36 by paddy
Page Tools
