Changes related to "Main Page"
From The Twelf Project
This is a list of changes made recently to pages linked from a specified page (or to members of a specified category).
Pages on your watchlist are bold.Legend: N - new page, m - minor edit, b - bot edit.
2 September 2010
- (diff | hist) . . Tabled logic programming; 07:29 . . (-4) . . 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: )