-- 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