Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/HOL/Orderings.thy
changeset 46976 80123a220219
parent 46961 5c6955f487e5
child 47432 e1576d13e933 
--- a/src/HOL/Orderings.thy	Sat Mar 17 00:17:30 2012 +0100
+++ b/src/HOL/Orderings.thy	Sat Mar 17 09:51:18 2012 +0100
@@ -1314,7 +1314,6 @@
 
 definition
   [no_atp]: "\<top> = (\<lambda>x. \<top>)"
-declare top_fun_def_raw [no_atp]
 
 lemma top_apply [simp] (* CANDIDATE [code] *):
   "\<top> x = \<top>"
isabelle