-- QuantifierElimination.df -- Copyright (C) 1987 by Xerox Corporation. All rights reserved. -- Dennis Arnon, July 3, 1987 10:13:40 am PDT -- Quantifier elimination routines Exports [Indigo]<QuantifierElimination>Top> QuantifierElimination.df 14-Jan-88 11:20:33 PST Exports [Indigo]<QuantifierElimination>Documentation QuantifierEliminationDoc.tioga!3 Directory [Indigo]<QuantifierElimination>QuantifierElimination> SamplePoints.mesa!1 03-Oct-86 13:14:09 PDT SamplePointsImpl.mesa!1 31-Oct-86 06:23:41 PST Cells.mesa!1 27-Oct-87 09:08:37 PST CellsImpl.mesa!1 14-Jan-87 12:29:02 PST QETypes.mesa!1 09-Oct-86 15:37:19 PDT QEIO.mesa!1 29-Sep-86 11:52:22 PDT QEIOImpl.mesa!1 30-Sep-86 14:19:11 PDT Cads.mesa!1 19-Nov-87 18:38:54 PST CadsImpl.mesa!1 14-Jan-87 12:30:17 PST QE.mesa!1 19-Nov-87 07:33:47 PST Cad2D.mesa!1 04-Sep-86 12:26:30 PDT Cad2DImpl.mesa!1 11-Sep-86 11:50:14 PDT CoveringSets.mesa!1 22-Oct-86 07:07:57 PDT CoveringSetsImpl.mesa!1 31-Oct-86 06:18:50 PST Colors.mesa!1 22-Oct-86 11:56:10 PDT ColorsImpl.mesa!1 22-Oct-86 11:58:24 PDT Triangles.mesa!1 14-Jan-87 12:03:16 PST TrianglesImpl.mesa!1 14-Jan-87 12:28:33 PST