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