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] 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.txt ยท Last modified: 2012/04/13 15:53 by paddy
Page Tools
