Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
remove junk
authorAndreas Lochbihler
Wed, 27 Nov 2013 11:08:55 +0100
changeset 54600 ac54bc80a5cc
parent 54599 17d76426c7da
child 54601 91a1e4aa7c80
remove junk
src/HOL/List.thy file | annotate | diff | comparison | revisions 
--- a/src/HOL/List.thy	Wed Nov 27 10:54:44 2013 +0100
+++ b/src/HOL/List.thy	Wed Nov 27 11:08:55 2013 +0100
@@ -5395,7 +5395,6 @@
   Author: Andreas Lochbihler
 *}
 
-thm not_less
 context ord begin
 
 inductive lexordp :: "'a list \<Rightarrow> 'a list \<Rightarrow> bool"
isabelle