Commit 12a8b800 authored by Guillaume Melquiond's avatar Guillaume Melquiond

Disable the example for exp-based improper integrals.

parent fc36bc17
......@@ -75,6 +75,7 @@ Proof.
integral.
Qed.
(*
Goal
Rabs (RInt_gen (fun t => 1/sqrt t * exp (-(1*t)))
(at_point 1) (Rbar_locally p_infty)
......@@ -82,3 +83,4 @@ Goal
Proof.
interval.
Qed.
*)
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment