MyWikiBiz

Changes

User:Jon Awbrey/BOX (view source)

Revision as of 18:40, 2 September 2010

21 bytes removed ,  18:40, 2 September 2010
adjust outline
Line 1: Line 1: −
==Box Displays==
+
==Blank Form==
−
 
  −
===Blank Form===
      
<br>
 
<br>
Line 84: Line 82:  
<br>
 
<br>
   −
===Formal Grammars===
+
==Formal Grammars==
    
<br>
 
<br>
Line 451: Line 449:  
<br>
 
<br>
   −
===Proof Schemata===
+
==Proof Schemata==
   −
====Definition 1====
+
===Definition 1===
   −
=====Variant 1=====
+
====Variant 1====
    
<br>
 
<br>
Line 489: Line 487:  
<br>
 
<br>
   −
=====Variant 2=====
+
====Variant 2====
    
<br>
 
<br>
Line 529: Line 527:  
<br>
 
<br>
   −
====Rule 1====
+
===Rule 1===
    
<br>
 
<br>
Line 573: Line 571:  
<br>
 
<br>
   −
====Rule 2====
+
===Rule 2===
    
<br>
 
<br>
Line 612: Line 610:  
<br>
 
<br>
   −
====Rule 3====
+
===Rule 3===
   −
=====Variant 1=====
+
====Variant 1====
    
<br>
 
<br>
Line 670: Line 668:  
<br>
 
<br>
   −
=====Variant 2=====
+
====Variant 2====
    
<br>
 
<br>
Line 735: Line 733:  
<br>
 
<br>
   −
====Corollary 1====
+
===Corollary 1===
    
<br>
 
<br>
Line 772: Line 770:  
<br>
 
<br>
   −
====Rule 4====
+
===Rule 4===
    
<br>
 
<br>
Line 825: Line 823:     
<br>
 
<br>
 +
 +
==Translation Rules==
    
===Logical Translation Rule 0===
 
===Logical Translation Rule 0===
Jon Awbrey
12,080

edits

Retrieved from "https://mywikibiz.com/Special:MobileDiff/123614"