Differences

This shows you the differences between two versions of the page.

--- reference:assumption [2011/06/10 16:02] – created 131.246.41.159
+++ 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.