User Tools
reference:attribute_examples
Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision Next revision | Previous revision Last revision Both sides next revision | ||
|
reference:attribute_examples [2011/07/07 12:09] 131.246.161.187 [where] |
reference:attribute_examples [2011/07/07 12:10] 131.246.161.187 [of] |
||
|---|---|---|---|
| Line 9: | Line 9: | ||
| Using | Using | ||
| - | | ||
| mp [of _ "C ∨ D"] | mp [of _ "C ∨ D"] | ||
| - | | ||
| yields the more specific theorem | yields the more specific theorem | ||
| Line 24: | Line 22: | ||
| Using | Using | ||
| - | |||
| mp [where Q="C ∨ D"] | mp [where Q="C ∨ D"] | ||
| - | | ||
| yields the more specific theorem | yields the more specific theorem | ||
reference/attribute_examples.txt · Last modified: 2011/07/25 12:32 by 131.246.41.159
Page Tools
