src/HOL/Library/Library.thy
changeset 35029 22aab1c5e5a8
parent 34020 2573c794034c
child 35039 e682bb587071
     1.1 --- a/src/HOL/Library/Library.thy	Fri Feb 05 14:33:50 2010 +0100
     1.2 +++ b/src/HOL/Library/Library.thy	Mon Feb 08 10:36:02 2010 +0100
     1.3 @@ -50,6 +50,7 @@
     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