1.1 --- a/src/Pure/library.scala Mon Nov 28 22:05:32 2011 +0100 1.2 +++ b/src/Pure/library.scala Mon Nov 28 22:18:19 2011 +0100 1.3 @@ -1,4 +1,5 @@ 1.4 /* Title: Pure/library.scala 1.5 + Module: Library 1.6 Author: Makarius 1.7 1.8 Basic library.