Add to the documented stdlib files the theories used in examples.

bd2c547d · Guillaume Melquiond · a4fd26d1 · bd2c547d · bd2c547d · bd2c547d
Commit bd2c547d authored Dec 18, 2012 by Guillaume Melquiond
Hide whitespace changes
Inline Side-by-side

Showing with 8 additions and 3 deletions

Makefile.in Makefile.in +5 -2

theories/bintree.why theories/bintree.why +1 -1

theories/sum.why theories/sum.why +2 -0

No files found.
--- a/Makefile.in
+++ b/Makefile.in
@@ -1265,6 +1265,7 @@ clean::

 STDLIBS = algebra \
 	bag \
+	bintree \
 	bool \
 	comparison \
 	floating_point \
@@ -1274,10 +1275,12 @@ STDLIBS = algebra \
 	map \
 	number \
 	option \
+	pigeon \
 	real \
 	relations \
-	set
-# function ? sum ? tptp ?
+	set \
+	sum
+# function ? tptp ?

 STDMODS = arith array hashtbl impset pqueue queue random ref stack string


--- a/theories/bintree.why
+++ b/theories/bintree.why

-(* Polymorphic binary trees with elements at nodes *)
+(** {1 Polymorphic binary trees with elements at nodes} *)

 theory Tree


--- a/theories/sum.why
+++ b/theories/sum.why

+(** {1 Sum of the elements of an indexed container} *)
+
 theory Sum "Sum of the elements of an indexed container"

  use import int.Int