Difference between revisions of "Category talk:Automated reasoning"

Revision as of 08:13, 7 October 2011

You've got it in one. Couldn't have put it bteetr.

Revision as of 20:06, 29 September 2011 (view source) 109.230.217.166 (talk) (nzDUUnjbknNuSVDtT)		Revision as of 08:13, 7 October 2011 (view source) 195.117.191.119 (talk) (TRXGdzubmLCyEIehcO) Newer edit →
Line 1:		Line 1:
−	You ~~saved me a lot of hsalse just now~~.	+	You've got it in one. Couldn't have put it bteetr.