src/HOL/Library/Library.thy

--- a/src/HOL/Library/Library.thy	Fri Feb 05 14:33:50 2010 +0100
+++ b/src/HOL/Library/Library.thy	Mon Feb 08 10:36:02 2010 +0100
@@ -50,6 +50,7 @@
   RBT
   SML_Quickcheck
   State_Monad
+  Structure_Syntax
   Sum_Of_Squares
   Transitive_Closure_Table
   Univ_Poly