     1.1 --- a/src/HOL/Library/Library.thy	Wed Feb 10 14:12:02 2010 +0100
     1.2 +++ b/src/HOL/Library/Library.thy	Wed Feb 10 14:12:02 2010 +0100
     1.3 @@ -51,7 +51,6 @@
     1.4    RBT
     1.5    SML_Quickcheck
     1.6    State_Monad
     1.7 -  Structure_Syntax
     1.8    Sum_Of_Squares
     1.9    Transitive_Closure_Table
    1.10    Univ_Poly
changeset 35091	59b41ba431b5
parent 35039	e682bb587071
child 35100	53754ec7360b