// Written by Sascha Boehme, TU Muenchen, 2009

using System.Reflection;
using System.Runtime.CompilerServices;

[assembly: AssemblyKeyFile("..\\..\\InterimKey.snk")]

[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")]