From 9b80ed1e289ed18dfd2d855df3c41cbabc407d70 Mon Sep 17 00:00:00 2001
From: Michael Hemmer <hemmer@mpi-inf.mpg.de>
Date: Mon, 29 Jan 2007 12:20:40 +0000
Subject: [PATCH] file replaced by CORE_Expr.tex

---
 .../doc_tex/NumberTypeSupport_ref/CORE.tex    | 21 -------------------
 1 file changed, 21 deletions(-)
 delete mode 100644 Number_types/doc_tex/NumberTypeSupport_ref/CORE.tex

diff --git a/Number_types/doc_tex/NumberTypeSupport_ref/CORE.tex b/Number_types/doc_tex/NumberTypeSupport_ref/CORE.tex
deleted file mode 100644
index 902030053b1..00000000000
--- a/Number_types/doc_tex/NumberTypeSupport_ref/CORE.tex
+++ /dev/null
@@ -1,21 +0,0 @@
-\ccDefGlobalScope{}
-\begin{ccRefClass}{CORE::Expr}
-
-\ccDefinition
-
-The class \ccRefName\ provides exact computation over the subset of real
-numbers that contains integers, and which is closed by the operations
-$+,-,\times,/$ and $\sqrt{}$.  Comparisons between objets of this type
-are guaranteed to be exact.  This number type is provided by the
-{\sc Core} library~\cite{klpy-clp-99}.
-
-\cgal\ defines the necessary functions so that this class complies to the
-requirements on number types.
-
-\ccInclude{CGAL/CORE_Expr.h}
-
-\ccIsModel
-FieldNumberType
-
-\end{ccRefClass}
-\ccDefGlobalScope{CGAL::}