Recent changes

From Wikiproofs

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:57, 4 September 2010

---

Namespace:

all (Main) Talk User User talk Wikiproofs Wikiproofs talk File File talk MediaWiki MediaWiki talk Template Template talk Help Help talk Category Category talk Interface Interface talk User module User module talk User interface User interface talk  Invert selection

4 September 2010

• (diff) (hist) . . User:Kingdon‎; 19:36 . . (-1,457) . . Kingdon (Talk | contribs) (finished a lot of the arithmetic todos here)
• (diff) (hist) . . Basic arithmetic implies Peano axioms‎; 19:29 . . (+2,378) . . Kingdon (Talk | contribs) (add Successor, addition and multiplication, induction, ZeroNotSuccessor)
• (diff) (hist) . . Interface:Basic arithmetic‎; 19:26 . . (+271) . . Kingdon (Talk | contribs) (at most one of a < b, a = b, or a > b hold)
• (diff) (hist) . . Basic arithmetic‎; 19:26 . . (+1,099) . . Kingdon (Talk | contribs) (at most one of a < b, a = b, or a > b hold)
• (diff) (hist) . . Interface:Basic arithmetic‎; 18:49 . . (+253) . . Kingdon (Talk | contribs) (add rule forms of less than builders)
• (diff) (hist) . . Basic arithmetic‎; 18:49 . . (+480) . . Kingdon (Talk | contribs) (add rules for less than builders)
• (diff) (hist) . . Interface:Basic arithmetic‎; 18:02 . . (+844) . . Kingdon (Talk | contribs) (addition is consistent with the order, ZeroSmallest)
• (diff) (hist) . . Basic arithmetic‎; 17:43 . . (+1,442) . . Kingdon (Talk | contribs) (add LessThanAdditionRR, LessThanAdditionLL, LessEqualLessThanAddition, LessThanAddition)
• (diff) (hist) . . Interface:Basic arithmetic‎; 15:51 . . (+500) . . Kingdon (Talk | contribs) (add cancellation, uncomment theorems)
• (diff) (hist) . . Basic arithmetic‎; 14:36 . . (+158) . . Kingdon (Talk | contribs) (add LessThanBuilderRR)
• (diff) (hist) . . Basic arithmetic‎; 14:20 . . (+210) . . Kingdon (Talk | contribs) (add LessThanLessEqual)
• (diff) (hist) . . Basic arithmetic‎; 14:16 . . (+739) . . Kingdon (Talk | contribs) (add LessEqualLessThanTransitivity and LessThanTransitivity)
• (diff) (hist) . . Basic arithmetic‎; 13:38 . . (+104) . . Kingdon (Talk | contribs) (add ZeroOne)

3 September 2010

• (diff) (hist) . . Interface:Basic arithmetic‎; 12:36 . . (+780) . . Kingdon (Talk | contribs) (add more theorems; ones not proved yet are commented out)

2 September 2010

• (diff) (hist) . . N MediaWiki:Randompage‎; 11:38 . . (+19) . . GrafZahl (Talk | contribs) (random page → random proof module)
• (diff) (hist) . . MediaWiki:Edittools‎; 08:53 . . (+4) . . GrafZahl (Talk | contribs) (+congruence symbol)
• (diff) (hist) . . m Wikiproofs:Tearoom‎; 08:08 . . (-42) . . GrafZahl (Talk | contribs) (Reverted edits by 122.159.46.157 (Talk) to last revision by GrafZahl)
• (diff) (hist) . . Wikiproofs:Tearoom‎; 04:49 . . (+42) . . 122.159.46.157 (Talk) (→Privates Girls: new section)
• (diff) (hist) . . Basic arithmetic‎; 03:45 . . (+2,807) . . Kingdon (Talk | contribs) (most of the way to LessEqualLessThanTransitivity)
• (diff) (hist) . . Interface:Classical propositional calculus‎; 03:36 . . (+127) . . Kingdon (Talk | contribs) (add buildConjunctionLLInConsequent)
• (diff) (hist) . . Convenience theorems of propositional logic‎; 03:35 . . (+265) . . Kingdon (Talk | contribs) (add buildConjunctionLLInConsequent)

1 September 2010

• (diff) (hist) . . Basic arithmetic‎; 18:52 . . (+1,134) . . Kingdon (Talk | contribs) (add LessEqualAdditionLL, LessEqualAddition)
• (diff) (hist) . . User talk:Kingdon‎; 17:52 . . (+240) . . Kingdon (Talk | contribs) (→wikiproofs.org: proofwiki.org)
• (diff) (hist) . . User talk:Kingdon‎; 16:35 . . (+733) . . GrafZahl (Talk | contribs) (→wikiproofs.org: new section)
• (diff) (hist) . . User talk:GrafZahl‎; 09:49 . . (+126) . . GrafZahl (Talk | contribs) (→publicity: thanks)
• (diff) (hist) . . m Interface:Tarski's geometry axioms‎; 08:53 . . (-2) . . GrafZahl (Talk | contribs) (fixing defaultsort syntax)
• (diff) (hist) . . Interface:Tarski's geometry axioms‎; 08:45 . . (+139) . . GrafZahl (Talk | contribs) (category diffusion)
• (diff) (hist) . . N Category:Foundations of classical theories (including reverse mathematics)‎; 08:41 . . (+111) . . GrafZahl (Talk | contribs) (created)
• (diff) (hist) . . N Category:Euclidean geometries (general) and generalizations‎; 08:38 . . (+108) . . GrafZahl (Talk | contribs) (created)
• (diff) (hist) . . N Category:Real and complex geometry‎; 08:37 . . (+66) . . GrafZahl (Talk | contribs) (created)
• (diff) (hist) . . N Category:Geometry‎; 08:21 . . (+75) . . GrafZahl (Talk | contribs) (created)
• (diff) (hist) . . Interface:Tarski's geometry axioms‎; 03:50 . . (+22) . . Kingdon (Talk | contribs) (link to wikipedia page)
• (diff) (hist) . . User talk:GrafZahl‎; 03:47 . . (+697) . . Kingdon (Talk | contribs) (→publicity: OK, will work on this)
• (diff) (hist) . . Wikiproofs:About‎; 03:23 . . (+611) . . Kingdon (Talk | contribs) (add section "Proofs live in wiki pages")
• (diff) (hist) . . Interface:Tarski's geometry axioms‎; 03:08 . . (+81) . . Kingdon (Talk | contribs) (add diagram for Pasch's axiom)
• (diff) (hist) . . N Template:Clear‎; 02:56 . . (+169) . . Kingdon (Talk | contribs) (add template; same as in en.wikipedia.org)

31 August 2010

• (diff) (hist) . . User talk:GrafZahl‎; 17:30 . . (+5,078) . . GrafZahl (Talk | contribs) (→publicity: sure)
• (diff) (hist) . . m Help:Tutorial‎; 15:44 . . (-1) . . GrafZahl (Talk | contribs) (typo)
• (diff) (hist) . . N Interface:Tarski's geometry axioms‎; 03:12 . . (+2,970) . . Kingdon (Talk | contribs) (start in)
• (diff) (hist) . . Interface:Peano axioms‎; 02:11 . . (+21) . . Kingdon (Talk | contribs) (fix one more place where we didn't update for the switch to Interface:First-order logic with quantifiability)

30 August 2010

• (diff) (hist) . . User talk:GrafZahl‎; 21:07 . . (+1,480) . . Kingdon (Talk | contribs) (→publicity: new section)
• (diff) (hist) . . Basic arithmetic‎; 20:21 . . (+1,580) . . Kingdon (Talk | contribs) (add Addition3, LessEqualAdditionRR, biconditionalize AdditionCancellationRight)
• (diff) (hist) . . Basic arithmetic‎; 19:18 . . (+289) . . Kingdon (Talk | contribs) (add LessThanBuilder)
• (diff) (hist) . . Interface:Classical propositional calculus‎; 19:02 . . (+153) . . Kingdon (Talk | contribs) (add buildConjunctionInConsequent)
• (diff) (hist) . . Convenience theorems of propositional logic‎; 18:59 . . (+263) . . Kingdon (Talk | contribs) (add buildConjunctionInConsequent)
• (diff) (hist) . . Basic arithmetic‎; 18:27 . . (+891) . . Kingdon (Talk | contribs) (add LessThanTotality)
• (diff) (hist) . . Interface:Classical propositional calculus‎; 17:40 . . (+405) . . Kingdon (Talk | contribs) (add transformDisjunctionRight, swap23ofDisjunction4, swap23ofDisjunction3)
• (diff) (hist) . . Convenience theorems of propositional logic‎; 17:38 . . (+1,674) . . Kingdon (Talk | contribs) (add transformDisjunctionRight, swap23ofDisjunction4, swap23ofDisjunction3)
• (diff) (hist) . . Basic arithmetic‎; 17:00 . . (+2,097) . . Kingdon (Talk | contribs) (add some definitions, LessEqualLessThan)
• (diff) (hist) . . Basic arithmetic‎; 16:21 . . (+343) . . Kingdon (Talk | contribs) (add EqualityLessEqual)