diff --git a/thys/Ordinary_Differential_Equations/Ex/Lorenz/output/output b/thys/Ordinary_Differential_Equations/Ex/Lorenz/output/output
deleted file mode 100644