Index: doc/rob_thesis/examples/conclusions/dtor.c
===================================================================
--- doc/rob_thesis/examples/conclusions/dtor.c	(revision 2ccb93c9fb42fa3f8b866d488f81633a75d39fec)
+++ 	(revision )
@@ -1,11 +1,0 @@
-forall(otype T)
-struct Box {
-  T x;
-};
-forall(otype T) void ^?{}(Box(T) * x);
-
-forall(otype T)
-void f(T x) {
-  T y = x;
-  Box(T) z = { x };
-}
Index: doc/rob_thesis/examples/conclusions/except.c
===================================================================
--- doc/rob_thesis/examples/conclusions/except.c	(revision 2ccb93c9fb42fa3f8b866d488f81633a75d39fec)
+++ 	(revision )
@@ -1,20 +1,0 @@
-#include <stdio.h>
-typedef struct S {
-  int x;
-} S;
-
-void _dtor_S(S * s);
-//  {
-//   printf("called destructor!\n");
-// }
-
-void _ctor_S(struct S *s);
-//  {
-//   s->x = 123;
-// }
-
-int main() {
-  struct S _tmp3;
-  __attribute__((cleanup(_dtor_S))) struct S _tmp2 = (_ctor_S(&_tmp2), _tmp2);
-  printf("%d\n", _tmp2.x);
-}
Index: doc/rob_thesis/examples/conclusions/except.cc
===================================================================
--- doc/rob_thesis/examples/conclusions/except.cc	(revision 2ccb93c9fb42fa3f8b866d488f81633a75d39fec)
+++ 	(revision )
@@ -1,31 +1,0 @@
-#include <iostream>
-using namespace std;
-
-struct S {
-  int x;
-};
-
-void _dtor_S(S * s) {
-  cout << "called destructor!" << endl;
-}
-
-S f() {
-  throw 3;
-  return (S) { 0 };
-}
-
-void _ctor_S(struct S *s, struct S) {
-  s->x = 123;
-}
-
-int main() {
-  try {
-//    __attribute__((cleanup(_dtor_S))) S s = f();
-  struct S _tmp1;
-  struct S _tmp2 = (_ctor_S(&_tmp2, _tmp1), _tmp2);
-  cout << _tmp2.x << endl;
-
-  } catch(...) {
-
-  }
-}
Index: doc/rob_thesis/examples/ctor/member.c
===================================================================
--- doc/rob_thesis/examples/ctor/member.c	(revision 2ccb93c9fb42fa3f8b866d488f81633a75d39fec)
+++ 	(revision )
@@ -1,26 +1,0 @@
-struct T {
-  int x;
-};
-const int val = 12223344;
-void ?{}(T * t) {
-  if (t->x == val) printf("uh-oh, constructed twice!\n");
-  t->x = val;
-}
-
-struct S {
-  T t1, t2;
-};
-
-void ?{}(S * this) {
-  // construct both members
-}
-
-void ?{}(S * this, int x) {
-  // forward
-  ?{}(this);
-  ?{}(&this->t1);
-}
-
-int main() {
-  S s = 5;
-}
Index: doc/rob_thesis/examples/nested.c
===================================================================
--- doc/rob_thesis/examples/nested.c	(revision 2ccb93c9fb42fa3f8b866d488f81633a75d39fec)
+++ 	(revision )
@@ -1,8 +1,0 @@
-struct S {
-  int x;
-};
-void ^?{}(S * s) { }
-
-int main() {
-  [S, [S, S]] x;
-}
Index: doc/rob_thesis/examples/tuples/named.c
===================================================================
--- doc/rob_thesis/examples/tuples/named.c	(revision 2ccb93c9fb42fa3f8b866d488f81633a75d39fec)
+++ 	(revision )
@@ -1,6 +1,0 @@
-typedef [int x, int y] Point2D;
-Point2D p1, p2;
-int main() {
-  p1.x + p1.y + p2.x + p2.y;
-  p1.0 + p1.1 + p2.0 + p2.1;  // equivalent
-}
Index: doc/rob_thesis/examples/variadic/sum1.c
===================================================================
--- doc/rob_thesis/examples/variadic/sum1.c	(revision 2ccb93c9fb42fa3f8b866d488f81633a75d39fec)
+++ 	(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 2ccb93c9fb42fa3f8b866d488f81633a75d39fec)
+++ 	(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));
-}