Special:RecentChanges

Track the most recent changes to the wiki on this page.

Recent changes options Show last 50 | 100 | 250 | 500 changes in last 1 | 3 | 7 | 14 | 30 days
Hide minor edits | Show bots | Hide anonymous users | Hide logged-in users | Hide my edits
Show new changes starting from 23:29, 8 September 2010

Legend: N - new page, m - minor edit, b - bot edit.

(diff | hist) . . Uniqueness lemma‎; 07:33 . . (-3) . . Rsimmons (Talk | contribs)
(diff | hist) . . Totality assertion‎; 07:30 . . (-12) . . Rsimmons (Talk | contribs)
(diff | hist) . . Tabled logic programming‎; 07:29 . . (-4) . . Rsimmons (Talk | contribs)
(diff | hist) . . Substitution lemma‎; 07:27 . . (+28) . . Rsimmons (Talk | contribs)
(diff | hist) . . m What's new‎; 07:13 . . (-1) . . Rsimmons (Talk | contribs) (spelling)
(diff | hist) . . User-defined constraint domain‎; 06:29 . . (-5) . . Rsimmons (Talk | contribs)
(diff | hist) . . User-defined constraint domain‎; 06:27 . . (-1) . . Rsimmons (Talk | contribs) (→Using the even/odd constraint domain: )
(diff | hist) . . User-defined constraint domain‎; 06:26 . . (-3) . . Rsimmons (Talk | contribs) (→An approach via predicates: )
(diff | hist) . . User-defined constraint domain‎; 06:24 . . (-5) . . Rsimmons (Talk | contribs) (→A constraint domain of natural-number sorts: )

(diff | hist) . . %worlds‎; 20:33 . . (-117) . . Rsimmons (Talk | contribs) (edit fixing twelftag bug; also kill a useless twelftag)
(diff | hist) . . Implicit and explicit parameters‎; 20:29 . . (-6) . . Rsimmons (Talk | contribs)
(diff | hist) . . Implicit and explicit parameters‎; 20:28 . . (-8) . . Rsimmons (Talk | contribs)
(diff | hist) . . Equality‎; 20:27 . . (-6) . . Rsimmons (Talk | contribs)