diff options
| -rw-r--r-- | Source/Provers/Isabelle/AssemblyInfo.ssc | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Source/Provers/Isabelle/AssemblyInfo.ssc b/Source/Provers/Isabelle/AssemblyInfo.ssc index ba2375e7..ac99974f 100644 --- a/Source/Provers/Isabelle/AssemblyInfo.ssc +++ b/Source/Provers/Isabelle/AssemblyInfo.ssc @@ -8,6 +8,6 @@ using System.Runtime.CompilerServices; [assembly: AssemblyTitle("Boogie back-end for Isabelle")]
[assembly: AssemblyDescription("Boogie back-end for the interactive"
+ " theorem prover Isabelle")]
-[assembly: AssemblyCompany("TU München")]
+[assembly: AssemblyCompany("TU Muenchen")]
[assembly: AssemblyProduct("HOL-Boogie")]
-[assembly: AssemblyCopyright("Copyright © TU München 2009")]
+[assembly: AssemblyCopyright("Copyright (c) TU München 2009")]
|