1.1 --- a/doc-src/System/Thy/Sessions.thy	Sat Jul 28 21:10:54 2012 +0200
     1.2 +++ b/doc-src/System/Thy/Sessions.thy	Sat Jul 28 22:01:21 2012 +0200
     1.3 @@ -194,7 +194,7 @@
     1.4    \texttt{ROOT} file and an additional catalog file @{verbatim
     1.5    "etc/sessions"} with further sub-directories (list of lines).  Note
     1.6    that a single \texttt{ROOT} file usually defines many sessions;
     1.7 -  catalogs are are only required for extra scalability and modularity
     1.8 +  catalogs are only required for extra scalability and modularity
     1.9    of large libraries.
    1.10  
    1.11    \medskip The subset of sessions to be managed is selected via

     2.1 --- a/doc-src/System/Thy/document/Sessions.tex	Sat Jul 28 21:10:54 2012 +0200
     2.2 +++ b/doc-src/System/Thy/document/Sessions.tex	Sat Jul 28 22:01:21 2012 +0200
     2.3 @@ -303,7 +303,7 @@
     2.4    command line.  Each such directory may contain a session
     2.5    \texttt{ROOT} file and an additional catalog file \verb|etc/sessions| with further sub-directories (list of lines).  Note
     2.6    that a single \texttt{ROOT} file usually defines many sessions;
     2.7 -  catalogs are are only required for extra scalability and modularity
     2.8 +  catalogs are only required for extra scalability and modularity
     2.9    of large libraries.
    2.10  
    2.11    \medskip The subset of sessions to be managed is selected via