Mercurial Mercurial > wneuper > isa / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | bz2 | gz | help
remove junk
authorAndreas Lochbihler
Wed, 27 Nov 2013 11:08:55 +0100
changeset 55973ac54bc80a5cc
parent 55972 17d76426c7da
child 55974 91a1e4aa7c80
remove junk
src/HOL/List.thy file | annotate | diff | comparison | revisions 
     1.1 --- a/src/HOL/List.thy	Wed Nov 27 10:54:44 2013 +0100
     1.2 +++ b/src/HOL/List.thy	Wed Nov 27 11:08:55 2013 +0100
     1.3 @@ -5395,7 +5395,6 @@
     1.4    Author: Andreas Lochbihler
     1.5  *}
     1.6  
     1.7 -thm not_less
     1.8  context ord begin
     1.9  
    1.10  inductive lexordp :: "'a list \<Rightarrow> 'a list \<Rightarrow> bool"
wneuper/isa