--- a/src/HOL/Library/Preorder.thy Mon Feb 18 16:13:10 2019 +0100
+++ b/src/HOL/Library/Preorder.thy Wed Feb 20 07:57:29 2019 +0100
@@ -57,10 +57,6 @@
end
-thm order_trans
-
-find_theorems "?i < ?j \<Longrightarrow> ?i \<le> ?j"
-
ML_file \<open>~~/src/Provers/preorder.ML\<close>
ML \<open>