src/HOL/Library/Library.thy
changeset 36147 b43b22f63665
parent 35763 765f8adf10f9
child 36648 43b66dcd9266
     1.1 --- a/src/HOL/Library/Library.thy	Wed Apr 14 22:18:10 2010 +0200
     1.2 +++ b/src/HOL/Library/Library.thy	Thu Apr 15 12:27:14 2010 +0200
     1.3 @@ -57,7 +57,6 @@
     1.4    SML_Quickcheck
     1.5    State_Monad
     1.6    Sum_Of_Squares
     1.7 -  Table
     1.8    Transitive_Closure_Table
     1.9    Univ_Poly
    1.10    While_Combinator