User Tools
reference:assumption
Differences
This shows you the differences between two versions of the page.
|
reference:assumption [2011/06/10 16:02] 131.246.41.159 created |
reference:assumption [2012/04/13 15:53] (current) paddy |
||
|---|---|---|---|
| Line 1: | Line 1: | ||
| + | ====== Assumption ====== | ||
| + | |||
| ''assumption'' solves a subgoal if the consequent is (literally) contained in the set of assumptions. | ''assumption'' solves a subgoal if the consequent is (literally) contained in the set of assumptions. | ||
reference/assumption.1307714534.txt.gz · Last modified: 2011/06/10 16:02 by 131.246.41.159
Page Tools
