# HG changeset patch
# User haftmann
# Date 1550645849 -3600
# Node ID 8432b771f12e82b5df36076ef58d9212040d8e66
# Parent  dfc5f8294fbc3e279c5cc9513eb790ed09db45c6
dropped junk

diff -r dfc5f8294fbc -r 8432b771f12e src/HOL/Library/Preorder.thy
--- 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>