Page history
31 January 2009
30 January 2009
→Variant 2
→Definition 1
+1,415
→Definition 2
-1,287
→Definition 2
+2,500
→Variant 2
-165
→Variant 2
+2,461
→Variant 1
→Variant 2
→Rule 3
+205
→Rule 3
+19
→Rule 3
-318
→Rule 3
+2,455
→Variant 1
-179
→Mathematical Symbols
+180
29 January 2009
→Rule 3
+16
→Variant 1
-1,142
→Evaluation Rule 1
+193
→Evaluation Rule 1
+1,428
→Evaluation Rule 1
+1,979
→Proof Schemata: segment
+137
→Variant 5
+1,282
→Variant 4
+1,405
→Variant 3
+1,648
→Value Rule 1
+1,215
→Box Displays
+63
→Variant 1
-233
→Value Rule 1
+2,011
→Box Displays: spacing
-2
→Geometric Translation Rule 2
-902
28 January 2009
→Geometric Translation Rule 2
+6
→Geometric Translation Rule 2
-94
→Geometric Translation Rule 2
-167
→Geometric Translation Rule 2
+6,403
→Logical Translation Rule 2
-539
→Logical Translation Rule 2
-4
→Logical Translation Rule 2
-310
reorg
-19
→Logical Translation Rule 2
+6,439
→Logical Translation Rule 1
+3
→Geometric Translation Rule 1
+2,339
27 January 2009
→Logical Translation Rule 1
-2,725
→Logical Translation Rule 1
+2,398
→Logical Translation Rule 1
+2,725
→Work Area
-138
no edit summary
+7,982
→Translation Rules
-1,983
→Translation Rules
+257