This shows you the differences between two versions of the page.
Both sides previous revision Previous revision | Next revision Both sides next revision | ||
start [2012/05/10 09:54] 131.246.92.39 [Methods] |
start [2012/05/10 09:54] 131.246.92.39 [Methods] |
||
---|---|---|---|
Line 133: | Line 133: | ||
| ''[[reference:subst|subst]]'' | a definition (or equation) | | x | x | ''subst (asm)'' | | | ''[[reference:subst|subst]]'' | a definition (or equation) | | x | x | ''subst (asm)'' | | ||
| ''[[reference:thin_tac|thin_tac]]'' | a formula | | | | | | | ''[[reference:thin_tac|thin_tac]]'' | a formula | | | | | | ||
- | | ''[[reference:unfold|unfold]]'' | a definition | x | x | ? | | | + | | ''[[reference:unfold|unfold]]'' | a definition (or equation) | x | x | ? | | |
=== Automated Methods === | === Automated Methods === |