diff --git a/src/ChangeLog b/src/ChangeLog
index 08c4a1aabb..978c1fc604 100644
--- a/src/ChangeLog
+++ b/src/ChangeLog
@@ -1,4 +1,9 @@
 
+2003-08-11  André Pönitz  <poenitz@gmx.net>
+
+	* Makefile.am:
+	* tracer.[Ch]: remove unneeded files
+
 2003-08-11  André Pönitz  <poenitz@gmx.net>
 
 	* InsetList.[Ch]: remove resizeInsetsLyXText()
diff --git a/src/mathed/math_inferinset.C b/src/mathed/math_inferinset.C
deleted file mode 100644
index 338cb3142a..0000000000
--- a/src/mathed/math_inferinset.C
+++ /dev/null
@@ -1,37 +0,0 @@
-#include "math_inferinset.h"
-#include "math_support.h"
-#include "frontends/Painter.h"
-#include "math_mathmlstream.h"
-#include "textpainter.h"
-
-using std::auto_ptr;
-
-
-MathInferInset::MathInferInset()
-	: MathGridInset(1, 1)
-{}
-
-
-auto_ptr<InsetBase> MathInferInset::clone() const
-{
-	return auto_ptr<InsetBase>(new MathInferInset(*this));
-}
-
-
-void MathInferInset::metrics(MetricsInfo &, Dimension &) const
-{
-}
-
-
-void MathInferInset::draw(PainterInfo &, int, int) const
-{
-}
-
-
-void MathInferInset::write(WriteStream & os) const
-{
-	os << "\\infer";
-	if (opt_.size())
-		os << '[' << opt_ << ']';
-	MathGridInset::write(os);
-}
diff --git a/src/mathed/math_inferinset.h b/src/mathed/math_inferinset.h
deleted file mode 100644
index a3882c3e3f..0000000000
--- a/src/mathed/math_inferinset.h
+++ /dev/null
@@ -1,31 +0,0 @@
-// -*- C++ -*-
-#ifndef MATH_INFERINSET_H
-#define MATH_INFERINSET_H
-
-#include "math_gridinset.h"
-
-
-/** for proof.sty's \infer
- *  \author André Poenitz
- *
- * Full author contact details are available in file CREDITS
- */
-class MathInferInset : public MathGridInset {
-public:
-	///
-	explicit MathInferInset();
-	///
-	virtual std::auto_ptr<InsetBase> clone() const;
-	///
-	void metrics(MetricsInfo & mi, Dimension & dim) const;
-	///
-	void draw(PainterInfo & pi, int x, int y) const;
-	///
-	void write(WriteStream & os) const;
-
-public:
-	///
-	MathArray opt_;
-};
-
-#endif
diff --git a/src/tracer.C b/src/tracer.C
deleted file mode 100644
index 3b20972452..0000000000
--- a/src/tracer.C
+++ /dev/null
@@ -1,15 +0,0 @@
-/* This file is part of
- * ======================================================
- *
- *           LyX, The Document Processor
- *
- *           Copyright 1995 Matthias Ettrich
- *           Copyright 1995-2001 The LyX Team.
- *
- * ====================================================== */
-
-#include <config.h>
-
-#include "tracer.h"
-
-int Trace::depth = 0;
diff --git a/src/tracer.h b/src/tracer.h
deleted file mode 100644
index 62d26c54e4..0000000000
--- a/src/tracer.h
+++ /dev/null
@@ -1,49 +0,0 @@
-// -*- C++ -*-
-/* This file is part of
- * ======================================================
- *
- *           LyX, The Document Processor
- *
- *           Copyright 1995 Matthias Ettrich
- *           Copyright 1995-2001 The LyX Team.
- *
- * ====================================================== */
-
-#ifndef TRACER_H
-#define TRACER_H
-
-#include "debug.h"
-#include "LString.h"
-
-///
-class Trace {
-public:
-	///
-	explicit
-	Trace(string const & s) : str(s) {
-		lyxerr << string(depth, ' ') << "TRACE IN: "
-		       << str << std::endl;
-		depth += 2;
-
-	}
-	///
-	~Trace() {
-		depth -= 2;
-		lyxerr << string(depth, ' ') << "TRACE OUT: "
-		       << str << std::endl;
-	}
-private:
-	///
-	string str;
-	///
-	static int depth;
-};
-
-// To avoid wrong usage:
-// Trace("BufferView::update");  // wrong
-// Trace t("BufferView::update"); // right
-// we add this macro:
-///
-#define Trace(x) unnamed_Trace;
-// Tip gotten from Bobby Schmidt's column in C/C++ Users Journal
-#endif