Index of /data/main/a/agda-stdlib/2.1-4/src/Axiom

• Parent Directory
• DoubleNegationElimination.agda
• ExcludedMiddle.agda
• Extensionality/
• UniquenessOfIdentityProofs.agda
• UniquenessOfIdentityProofs/