Page history
27 January 2009
→Translation Rules
+2,014
→Proof Schemata
-341
→Proof Schemata
+1,989
→Proof Schemata
+335
→Proof Schemata
+1,430
→Proof Schemata
+176
26 January 2009
→Proof Schemata
+1,227
→Proof Schemata
+132
delete old versions
-9,525
→Equation Sequences : New Versions
-461
→Equation Sequences : New Versions
-431
→Equation Sequences
+5,996
→Proof Schemata : New Versions
→Proof Schemata : New Versions
-127
→Proof Schemata : New Versions
-175
→Proof Schemata : New Versions
-78
→Proof Schemata
+4,103
→Proof Schemata
+16
→Proof Schemata
+4
→Proof Schemata
+1,953
25 January 2009
→Proof Schemata
-160
→Proof Schemata
+2,409
→Proof Schemata
+160
→Proof Schemata
+1,182
→Proof Schemata
+118
→Proof Schemata
-2,453
→Proof Schemata
+2,875
→Proof Schemata
+130
→Proof Schemata
+1,245
→Proof Schemata
-117
→Proof Schemata
-197
→Box Displays
+1,146
→Box Displays
+173
21 January 2009
18 January 2009
12 January 2009
11 January 2009
8 January 2009
7 January 2009
→Box Displays: wrap up grammar box + style mods
+1,134
→Box Displays: next example
+421
→Box Displays: wrap up grammar box
+1,004
→Box Displays: next example
+349