User:StarTower/Work/Used Template List Done

About
The list of things done.

ND

 * Template:BeginTableau
 * Template:EndTableau


 * Template:Premise
 * Template:Assumption
 * Template:Conjunction
 * Template:Simplification
 * Template:Addition
 * Template:OrElimination
 * Template:ModusPonens
 * Template:ModusTollendoPonens
 * Template:ModusTollens
 * Template:Implication
 * Template:DoubleNegElimination
 * Template:DoubleNegIntro
 * Template:BiconditionalElimination
 * Template:BiconditionalIntro
 * Template:NonContradiction
 * Template:Contradiction
 * Template:BottomElimination
 * Template:ExcludedMiddle
 * Template:Reductio


 * Template:Commutation
 * Template:DeMorgan
 * Template:Idempotence
 * Template:IdentityLaw


 * Template:SequentIntro
 * Template:TheoremIntro


 * Template:Substitution


 * Template:SequentIntro
 * Template:Discharged

Equation

 * Template:Begin-eqn
 * Template:Begin-equation
 * Template:End-eqn
 * Template:End-equation


 * Template:Eqn-intertext
 * Template:Eqn-title
 * Template:Eqn
 * Template:Equation

Axiom

 * Template:Axiom
 * Template:Begin-axiom
 * Template:End-axiom

Euclid

 * Template:EuclidDefRef
 * Template:EuclidDefRefNocat
 * Template:EuclidPropLink

List

 * Template:LEM-DNE
 * Template:LEM


 * Template:Mathematician