Index: doc/rob_thesis/examples/variadic/sum1.c
===================================================================
--- doc/rob_thesis/examples/variadic/sum1.c	(revision af68f0aaa97e163696767618f6faf47775f97d9f)
+++ 	(revision )
@@ -1,8 +1,0 @@
-int sum(void){ return 0; }        // (0)
-forall(ttype Params | { int sum(Params); })
-int sum(int x, Params rest) { // (1)
-  return x+sum(rest);
-}
-int main() {
-  printf("%d\n", sum(10, 20, 30, 40, 50, 60));
-}
Index: doc/rob_thesis/examples/variadic/sum2.c
===================================================================
--- doc/rob_thesis/examples/variadic/sum2.c	(revision af68f0aaa97e163696767618f6faf47775f97d9f)
+++ 	(revision )
@@ -1,10 +1,0 @@
-int sum(int x, int y){
-  return x+y;
-}
-forall(ttype Params | { int sum(int, Params); })
-int sum(int x, int y, Params rest) {
-  return sum(x+y, rest);
-}
-int main() {
-  printf("%d\n", sum(10, 20, 30, 40, 50, 60));
-}