1.1 --- a/doc-src/isac/msteger/bakk-arbeit/thesis-title.tex	Fri Jul 01 10:45:12 2011 +0200
     1.2 +++ b/doc-src/isac/msteger/bakk-arbeit/thesis-title.tex	Tue Jul 05 12:45:45 2011 +0200
     1.3 @@ -7,7 +7,7 @@
     1.4  \vspace{16mm}
     1.5  
     1.6  {\huge \bf Userinterfaces for Computer Theorem Provers\\
     1.7 -	Feasibility Study in the Isac-Projekt\\}
     1.8 +	Feasibility Study in the \isac-Projekt\\}
     1.9  
    1.10  \vspace{16mm}
    1.11  
    1.12 @@ -60,7 +60,7 @@
    1.13  \vspace{16mm}
    1.14  
    1.15  {\huge \bf Userinterfaces f\"ur Computer Theorem Prover\\
    1.16 -	Machbarkeits-Studie im Isac-Projekt\\}
    1.17 +	Machbarkeits-Studie im \isac-Projekt\\}
    1.18  
    1.19  \vspace{16mm}
    1.20