diff options
| author |  tabarbe <unknown> | 2010-07-16 21:51:02 +0000 |
|---|---|---|
| committer | tabarbe <unknown> | 2010-07-16 21:51:02 +0000 |
| commit | 0a63ffd0998685fa9295b09905cd0042973a8f2a (patch) | |
| tree | f512cf557b4dadc842f4ce081e45d10248288e53 /Source/Provers | |
| parent | c6de9d4b8b13e4cd41ace4a207790b66940d7870 (diff) | |
<Boogie> Removed the AssemblyInfo.cs file from Isabelle.
Diffstat (limited to 'Source/Provers')
| -rw-r--r-- | Source/Provers/Isabelle/Properties/AssemblyInfo.cs | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/Source/Provers/Isabelle/Properties/AssemblyInfo.cs b/Source/Provers/Isabelle/Properties/AssemblyInfo.cs deleted file mode 100644 index 20b53d3b..00000000 --- a/Source/Provers/Isabelle/Properties/AssemblyInfo.cs +++ /dev/null @@ -1,11 +0,0 @@ -// Written by Sascha Boehme, TU Muenchen, 2009
-
-using System.Reflection;
-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 Muenchen")]
-[assembly: AssemblyProduct("HOL-Boogie")]
-[assembly: AssemblyCopyright("Copyright (c) TU München 2009")]
|