Page history
4 February 2009
3 February 2009
→Fact 1
+191
→Fact 1
-25
→Rule 11: amalgamate variants
-2,981
→Rule 6: correction
→Definition 7
+6
→Definition 6
+6
→Definition 6: short version
-245
2 February 2009
→Definition 5
+1,345
→Definition 4
+6
→Definition 3
+92
→Definition 2
+1,325
→Fact 1
+3,995
→Rule 11
+1,751
→Variant 1
+412
→Variant 1
+618
→Variant 1
+1,017
→Rule 11
+2,806
→Rule 10
+35
→Rule 10
+3
→Rule 10
+13
→Rule 10
+3,995
→Rule 9
-436
→Rule 9
+4,083
→Rule 8
-392
→Rule 8
+25
→Rule 8
+689
1 February 2009
31 January 2009
→Rule 3: spacing
→Rule 5
+689
→Rule 5
-142
→Rule 5
+2,461
→Definition 7
+6
→Definition 7
-158
→Definition 7
+1,335
→Definition 6: format + reformulate a bit
+1,428
→Definition 5
+1,257
→Definition 5
+1,401
→Definition 4
→Definition 4
+1,228