User:StarTower/Work/Used Template List Done

About
The list of things done.

ND

 * 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

List

 * Template:Axiom
 * Template:Begin-axiom
 * Template:Begin-eqn
 * Template:Begin-equation
 * Template:BeginTableau


 * Template:BookLink


 * Template:End-axiom
 * Template:End-eqn
 * Template:End-equation
 * Template:EndTableau
 * Template:Eqn-intertext


 * Template:Eqn-title
 * Template:Eqn
 * Template:Equation
 * Template:EuclidDefRef
 * Template:EuclidDefRefNocat


 * Template:EuclidPropLink
 * Template:EuclidPropRef
 * Template:EuclidSaid


 * Template:Journalref
 * Template:LatexFor
 * Template:LEM-DNE
 * Template:LEM


 * Template:Mathematician


 * Template:MistakesCategory
 * Template:Namedfor


 * Template:NoSources
 * Template:NoteOnDiscrete
 * Template:OEIS
 * Template:Otheruses