Page history
4 December 2011
30 November 2011
2 September 2010
14 August 2009
13 August 2009
1 June 2009
2 April 2009
29 March 2009
→Blockquote Formats
-3
→Division Styles
+6
→Division Styles
+7
→Division Styles
+61
+ division styles
+85
25 March 2009
→Proof Example
-900
→Proof Example
+428
→Type Markers
+331
→Type Markers
+1,461
→Transposer T
+131
→Type Markers
+79
→Transposer T
+39
→Type Markers
+336
→Over And Under Setting
+856
24 March 2009
13 March 2009
12 March 2009
→Examples of Logical Orbits
+655
→Examples of Logical Orbits
+379
→Examples of Logical Orbits: reconcile variants
-475
→Differential Logic
+1,196
→Differential Logic: + section
+1,148
11 March 2009
10 March 2009
9 March 2009
13 February 2009
→Evaluation Rule 1
+184
→Evaluation Rule 1
-2,639
→Fact 2.3: cleanup
-703
→Fact 2.3
-323
→Fact 2.3
-60
→Fact 2.3
-98
→Fact 2.3
+6,390
→Fact 2.2: cleanup
-4,239