src/HOL/Library/Library.thy
changeset 50087 635d73673b5e
parent 48742 28d59ce5ebfd
child 50134 13211e07d931
     1.1 --- a/src/HOL/Library/Library.thy	Thu Nov 15 14:04:23 2012 +0100
     1.2 +++ b/src/HOL/Library/Library.thy	Thu Nov 15 10:49:58 2012 +0100
     1.3 @@ -13,6 +13,7 @@
     1.4    Convex
     1.5    Countable
     1.6    Debug
     1.7 +  Diagonal_Subsequence
     1.8    Dlist
     1.9    Eval_Witness
    1.10    Extended_Nat