/spartan/theories/

• ../
• Equivalence.thy
• Identity.thy
• Spartan.thy