Added file about triangle area

cc3b1505 · BOLDO Sylvie · 2c61c07c · cc3b1505 · cc3b1505
Commit cc3b1505 authored Nov 20, 2014 by BOLDO Sylvie
Expand all Hide whitespace changes
Inline Side-by-side

Showing with 2353 additions and 1 deletion

Remakefile.in Remakefile.in +2 -1

examples/Triangle.v examples/Triangle.v +2351 -0

No files found.
--- a/Remakefile.in
+++ b/Remakefile.in
@@ -34,7 +34,8 @@ OBJS = $(addprefix src/,$(addsuffix o,$(FILES)))

 EXAMPLES = \
 	Double_round_beta_odd.v \
-	Sqrt_sqr.v
+	Sqrt_sqr.v \
+	Triangle.v

 EOBJS = $(addprefix examples/,$(addsuffix o,$(EXAMPLES)))


--- a/examples/Triangle.v
+++ b/examples/Triangle.v