- final commit for helena 0.8.3

[helm.git] / helm / software / helena / coq / grundlagen.template

diff --git a/helm/software/helena/coq/grundlagen.template b/helm/software/helena/coq/grundlagen.template
deleted file mode 100644 (file)
index db22d73..0000000
--- a/helm/software/helena/coq/grundlagen.template
+++ /dev/null
@@ -1,11 +0,0 @@
-(**************************************************************************)
-(*                                                                        *)
-(* Landau's "Grundlagen der Analysis", formal specification for AUTOMATH  *)
-(* Copyright (C) 1977,       L.S. van Benthem Jutting                     *)
-(*               1992,       revised by F. Wiedijk                        *)
-(*               2008, 2014, revised by F. Guidi                          *)
-(*                                                                        *)
-(* Mechanized translation for COQ version 8 by F. Guidi                   *)
-(*                                                                        *)
-(**************************************************************************)
-