Revision as of 21:17, 5 June 2012 (view source) Rdm (talk \| contribs) (→‎Satisfaction) ← Older edit		Revision as of 21:18, 5 June 2012 (view source) Rdm (talk \| contribs) m (→‎Satisfaction) Newer edit →
Line 88: :::::::: — [[User:Ht\|Ht]] 20:15, 5 June 2012 (UTC) :::::::: Yes -- should be fixed now though. Free variables are now distinct in the context of arithmetic (and relations) but are associated with a canonical (but arbitrary) ordering when generating results. --[[User:Rdm\|Rdm]] 21:17, 5 June 2012 (UTC) == Huh? ==

Talk:Proof: Difference between revisions

Talk:Proof (view source)