src/HOL/Data_Structures/AA_Set.thy
changeset 62390 842917225d56
parent 62160 ff20b44b2fc8
child 62496 f187aaf602c4
     1.1 --- a/src/HOL/Data_Structures/AA_Set.thy	Tue Feb 23 15:37:18 2016 +0100
     1.2 +++ b/src/HOL/Data_Structures/AA_Set.thy	Tue Feb 23 16:25:08 2016 +0100
     1.3 @@ -135,4 +135,4 @@
     1.4    case 4 thus ?case by(simp add: inorder_delete)
     1.5  qed auto
     1.6  
     1.7 -end
     1.8 \ No newline at end of file
     1.9 +end