src/HOL/Library/Library.thy
changeset 33649 854173fcd21c
parent 33356 9157d0f9f00e
child 33938 7ed48b28bb7f
     1.1 --- a/src/HOL/Library/Library.thy	Thu Nov 12 17:21:51 2009 +0100
     1.2 +++ b/src/HOL/Library/Library.thy	Thu Nov 12 20:38:57 2009 +0100
     1.3 @@ -51,6 +51,7 @@
     1.4    SML_Quickcheck
     1.5    State_Monad
     1.6    Sum_Of_Squares
     1.7 +  Transitive_Closure_Table
     1.8    Univ_Poly
     1.9    While_Combinator
    1.10    Word