blob: 20b53d3b757528a4ca619106077162d653284056 (
plain)
1
2
3
4
5
6
7
8
9
10
11
|
// 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")]
|
