blob: ac99974f5537f4f24ec66805306b78e94036d6f9 (
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 Muenchen")]
[assembly: AssemblyProduct("HOL-Boogie")]
[assembly: AssemblyCopyright("Copyright (c) TU München 2009")]
|
