author | wenzelm |
Tue, 09 Jan 2018 15:18:41 +0100 | |
changeset 67385 | deb9b0283259 |
parent 67384 | e32b0eb63666 |
child 67386 | 998e01d6f8fd |
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