| changeset 60500 | 903bb1495239 |
| parent 58881 | b9556a055632 |
| child 66447 | a1f5c5c26fa6 |
--- a/src/HOL/Library/Diagonal_Subsequence.thy Wed Jun 17 10:57:11 2015 +0200 +++ b/src/HOL/Library/Diagonal_Subsequence.thy Wed Jun 17 11:03:05 2015 +0200 @@ -1,6 +1,6 @@ (* Author: Fabian Immler, TUM *) -section {* Sequence of Properties on Subsequences *} +section \<open>Sequence of Properties on Subsequences\<close> theory Diagonal_Subsequence imports Complex_Main