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. | ||