summaryrefslogtreecommitdiff
path: root/Source/Provers/Isabelle/Properties
diff options
context:
space:
mode:
Diffstat (limited to 'Source/Provers/Isabelle/Properties')
-rw-r--r--Source/Provers/Isabelle/Properties/AssemblyInfo.cs11
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")]