--- a/src/HOL/Library/Library.thy Wed Oct 08 09:09:12 2014 +0200
+++ b/src/HOL/Library/Library.thy Wed Oct 08 10:22:00 2014 +0200
@@ -36,6 +36,7 @@
Lattice_Algebras
Lattice_Syntax
Lattice_Constructions
+ Linear_Temporal_Logic_on_Streams
ListVector
Lubs_Glbs
Mapping