Theory files:

Analysis/Seminorm
Analysis/Calculus/Taylor
Analysis/Distribution/SchwartzSpace
Analysis/InnerProductSpace/LinearPMap
Analysis/InnerProductSpace/ProdL2
Analysis/InnerProductSpace/Symmetric
Analysis/LocallyConvex/AbsConvex
Analysis/LocallyConvex/BalancedCoreHull
Analysis/LocallyConvex/Bounded
Analysis/LocallyConvex/ContinuousOfBounded
Analysis/LocallyConvex/Polar
Analysis/LocallyConvex/WeakDual
Analysis/LocallyConvex/WithSeminorms
Analysis/Normed/Group/CocompactMap
Analysis/Normed/Group/ZeroAtInfty
Analysis/NormedSpace/ProdLp
Analysis/NormedSpace/Span
Analysis/SpecialFunction/JapaneseBracket
LinearAlgebra/LinearPMap
LinearAlgebra/SymplecticGroup
LinearAlgebra/Basis/Bilinear
LinearAlgebra/Matrix/SesquilinearForm
Topology/Algebra/Module/LinearPMap
Topology/Algebra/Module/WeakDual

Metaprogramming files:

Tactic/Congrm
Tactic/Continuity
Tactic/Existsi
Tactic/NthRewrite
Tactic/Qify
Tactic/Rify
Tactic/RSuffices
Tactic/Zify