-- QE.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>
  QE.df                                        11-Jan-88 13:13:36 PST

Exports [Indigo]<QuantifierElimination>
  QEDoc.tioga!3                                11-Jan-88 12:46:43 PST

Directory [Indigo]<QuantifierElimination>
  QESignatureStructure.mesa!2                  27-Nov-87 11:14:43 PST
  QESamplePointStructure.mesa!1                27-Nov-87 16:56:07 PST
  QECellStructure.mesa!1                       24-Nov-87 13:52:31 PST
  QEClusterStructure.mesa!4                    27-Nov-87 14:36:57 PST
  QECadStructure.mesa!2                        27-Nov-87 14:11:01 PST
  QECadManager.mesa!4                          30-Nov-87 15:15:38 PST
  QESignatureTableStructure.mesa!4             30-Nov-87 15:17:18 PST
  QEManager.mesa!1                             24-Nov-87 08:30:44 PST

Directory [Indigo]<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!2                                  19-Nov-87 18:38:54 PST
  CadsImpl.mesa!1                              14-Jan-87 12:30:17 PST
  QE.mesa!2                                    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