diff --git a/Nevanlinna/holomorphic_JensenFormula.lean b/Nevanlinna/junk/holomorphic_JensenFormula.lean
similarity index 100%
rename from Nevanlinna/holomorphic_JensenFormula.lean
rename to Nevanlinna/junk/holomorphic_JensenFormula.lean
diff --git a/Nevanlinna/stronglyMeromorphic_JensenFormula_1.lean b/Nevanlinna/junk/stronglyMeromorphic_JensenFormula_1.lean
similarity index 100%
rename from Nevanlinna/stronglyMeromorphic_JensenFormula_1.lean
rename to Nevanlinna/junk/stronglyMeromorphic_JensenFormula_1.lean