User Tools
reference:theorem_search
Differences
This shows you the differences between two versions of the page.
| Last revision Both sides next revision | |||
|
reference:theorem_search [2011/06/13 22:07] 178.26.109.100 created |
reference:theorem_search [2011/06/13 22:15] 178.26.109.100 |
||
|---|---|---|---|
| Line 3: | Line 3: | ||
| * ''intro'' -- searches for theorems which can be applied with ''[[rule (method)|rule]]'', i.e. that fit the current goal. | * ''intro'' -- searches for theorems which can be applied with ''[[rule (method)|rule]]'', i.e. that fit the current goal. | ||
| - | * ''dest'' -- searches for theorems which can be applied with ''drule'', i.e. whose major premise fits one of the assumptions. | + | * ''dest'' -- searches for theorems which can be applied with ''[[drule]]'', i.e. whose major premise fits one of the assumptions. |
| * ''name: ident'' -- searches for theorems that include ''ident'' in their name | * ''name: ident'' -- searches for theorems that include ''ident'' in their name | ||
| * ''-name: ident'' -- searches for theorems that do not include ''ident'' in their name | * ''-name: ident'' -- searches for theorems that do not include ''ident'' in their name | ||
reference/theorem_search.txt ยท Last modified: 2011/06/29 12:50 by 131.246.161.187
Page Tools
