blob: ba2375e7915cf78550068733770776b5f63a42a0 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
// 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 München")]
[assembly: AssemblyProduct("HOL-Boogie")]
[assembly: AssemblyCopyright("Copyright © TU München 2009")]
|