diff --git a/Nevanlinna/analyticOn_zeroSet.lean b/Nevanlinna/analyticOnNhd_zeroSet.lean
similarity index 100%
rename from Nevanlinna/analyticOn_zeroSet.lean
rename to Nevanlinna/analyticOnNhd_zeroSet.lean
diff --git a/Nevanlinna/laplace2.lean b/Nevanlinna/junk/laplace2.lean
similarity index 100%
rename from Nevanlinna/laplace2.lean
rename to Nevanlinna/junk/laplace2.lean