Changes related to "Theorem prover"

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.

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:41, 8 September 2010

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

(diff | hist) . . %worlds‎; 20:33 . . (-117) . . Rsimmons (Talk | contribs) (edit fixing twelftag bug; also kill a useless twelftag)

Namespace:	Invert selection
Page name:	Show changes to pages linked to the given page instead