- bug fix in the static analyzer allows better Pi/forall separation (exportation...

[helm.git] / helm / software / helena / coq / grundlagen_2.v

diff --git a/helm/software/helena/coq/grundlagen_2.v b/helm/software/helena/coq/grundlagen_2.v
index b04a3e5dce44a90f98fb26cb764ecad051cbef31..0d4f57cec5f6e413c06d3e07317d6fbfedd213e9 100644 (file)
--- a/helm/software/helena/coq/grundlagen_2.v
+++ b/helm/software/helena/coq/grundlagen_2.v
@@ -9,7 +9,7 @@
 (*                                                                        *)
 (**************************************************************************)
 
-(* This file was generated by Helena 0.8.2 M (February 2015): do not edit *)
+(* This file was generated by Helena 0.8.3 M (June 2015): do not edit *****)
 
 (* constant 1 *)
 Definition l_imp := (fun (a:Prop) => (fun (b:Prop) => ((forall (x:a), b) : Prop))).