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.
removed duplicate text;
authorwenzelm
Tue, 09 Jan 2018 15:18:41 +0100
changeset 67385 deb9b0283259
parent 67384 e32b0eb63666
child 67386 998e01d6f8fd
removed duplicate text;
src/HOL/Main.thy file | annotate | diff | comparison | revisions 
--- a/src/HOL/Main.thy	Tue Jan 09 14:07:39 2018 +0100
+++ b/src/HOL/Main.thy	Tue Jan 09 15:18:41 2018 +0100
@@ -17,11 +17,6 @@
     GCD
 begin
 
-text \<open>
-  Classical Higher-order Logic -- only ``Main'', excluding real and
-  complex numbers etc.
-\<close>
-
 no_notation
   bot ("\<bottom>") and
   top ("\<top>") and
isabelle