Index: src/examples/nestedfunc.c
===================================================================
--- src/examples/nestedfunc.c	(revision 784deab79c9d58f003b487276e5bf683364fc75c)
+++ 	(revision )
@@ -1,34 +1,0 @@
-extern "C" {
-    int printf( const char *, ... );
-}
-
-// Insertion sort on a, of length n
-forall( type T | { int ?<?(T, T); } )
-void sort( T *a, unsigned long n ) {
-    if ( n <= 1 ) return;
-	
-    for ( unsigned long i = 1; i < n; i += 1 ) {
-	T x; x = a[i];
-	unsigned long j = i;
-	for ( j; j > 0 && x < a[j-1]; j -= 1 ) {
-	    a[j] = a[j - 1];
-	} // for
-	a[j] = x;
-    } // for
-}
-
-int main(void) {
-    const int size = 4;
-    int a[4] = { 0, 3, -2, 100 };
-    printf( "a:[%d %d %d %d]\n", a[0], a[1], a[2], a[3] );
-	
-    sort( a, size );
-    printf( "a:[%d %d %d %d]\n", a[0], a[1], a[2], a[3] );
-    {
-	// int ?<?(int, int) = ?>?;
-	int ?<?( int a, int b ) { return a > b; }
-	sort( a, size );
-    }
-    printf( "a:[%d %d %d %d]\n", a[0], a[1], a[2], a[3] );
-}
-
Index: src/examples/simple.c
===================================================================
--- src/examples/simple.c	(revision 784deab79c9d58f003b487276e5bf683364fc75c)
+++ 	(revision )
@@ -1,39 +1,0 @@
-//
-// Cforall Version 1.0.0 Copyright (C) 2015 University of Waterloo
-//
-// The contents of this file are covered under the licence agreement in the
-// file "LICENCE" distributed with Cforall.
-//
-// simple.c -- 
-//
-// Author           : Richard C. Bilson
-// Created On       : Wed May 27 17:56:53 2015
-// Last Modified By : Peter A. Buhr
-// Last Modified On : Wed May 27 18:30:27 2015
-// Update Count     : 3
-//
-
-extern "C" {
-	int printf( const char *fmt, ... );
-}
-
-context has_star( type T ) {
-	T ?*?( T, T );
-};
-
-int ?*?( int, int );
-int ?=?( int *, int );
-
-forall( type T | has_star( T ) )
-T square( T t ) {
-	return t * t;
-}
-
-int main() {
-	printf( "result of square of 5 is %d\n", square( 5 ) );
-}
-
-// Local Variables: //
-// tab-width: 4 //
-// compile-command: "cfa simple.c" //
-// End: //