diff --git a/STL_Extension/doc_tex/STL_Extension_ref/in_list_prog.C b/STL_Extension/doc_tex/STL_Extension_ref/in_list_prog.C
deleted file mode 100644
index ccfed558c80..00000000000
--- a/STL_Extension/doc_tex/STL_Extension_ref/in_list_prog.C
+++ /dev/null
@@ -1,43 +0,0 @@
-/*  in_list_prog.C                  */
-/*  ------------------------------- */
-#include <CGAL/basic.h>
-#include <assert.h>
-#include <algobase.h>
-#include <CGAL/In_place_list.h>
-
-struct item : public CGAL_In_place_list_base<item> {
-    int key;
-    item() {}
-    item( const item& i) : CGAL_In_place_list_base<item>(i), key(i.key) {}
-    item( int i) : key(i) {}
-    bool operator== (const item& i) const { return key == i.key;}
-    bool operator!= (const item& i) const { return ! (*this == i);}
-    bool operator== (int i) const         { return key == i;}
-    bool operator!= (int i) const         { return ! (*this == i);}
-    bool operator<  (const item& i) const { return key < i.key;}
-};
-
-main() {
-    typedef CGAL_In_place_list<item,true> List;
-    List  l;
-    item* p = new item(1);
-    l.push_back(  *p);
-    l.push_back(  *new item(2));
-    l.push_front( *new item(3));
-    l.push_front( *new item(4));
-    l.push_front( *new item(2));
-    List::iterator i = l.begin();
-    ++i;
-    l.insert(i,*new item(5));
-    l.insert(p,*new item(5));
-    int a[7] = {2,5,4,3,5,1,2};
-    assert( equal( l.begin(), l.end(), a));
-    #ifndef CGAL_CFG_NO_LAZY_INSTANTIATION
-    l.sort();
-    l.unique();
-    int b[5] = {1,2,3,4,5};
-    assert( l.size() == 5);
-    assert( equal( l.begin(), l.end(), b));
-    #endif
-    return 0;
-}
diff --git a/STL_Extension/doc_tex/STL_Extension_ref/min_element_if_example_noheader.C b/STL_Extension/doc_tex/STL_Extension_ref/min_element_if_example_noheader.C
deleted file mode 100644
index f5bc3391615..00000000000
--- a/STL_Extension/doc_tex/STL_Extension_ref/min_element_if_example_noheader.C
+++ /dev/null
@@ -1,29 +0,0 @@
-#include <CGAL/algorithm.h>
-#include <CGAL/function_objects.h>
-#include <vector>
-#include <iostream>
-#include <functional>
-
-using std::vector;
-using std::cout;
-using std::endl;
-using std::modulus;
-using std::greater;
-using std::bind2nd;
-using CGAL::compose1_1;
-using CGAL::min_element_if;
-
-int main()
-{
-  vector< int > v;
-  v.push_back(3);
-  v.push_back(5);
-  v.push_back(2);
-  cout << "min_odd = "
-       << *min_element_if(v.begin(), 
-			  v.end(), 
-			  compose1_1(bind2nd(greater< int >(), 0),
-				     bind2nd(modulus< int >(), 2)))
-       << endl;
-  return 0;
-}