-- NewQE.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>
  NewQE.df                                     24-Jun-88 14:52:19 PDT

Exports [Indigo]<QuantifierElimination>Documentation>
  NewQEDoc.tioga!2                             28-Jan-88 13:43:53 PST
  QEDisplayDoc.tioga!1                         29-Jan-88 20:23:20 PST

Directory [Indigo]<QuantifierElimination>NewQE>
  QESignatureStructure.mesa!1                  27-Nov-87 11:14:43 PST
  QESamplePointStructure.mesa!2                28-Jan-88 14:33:43 PST
  QECellStructure.mesa!2                       28-Jan-88 14:54:50 PST
  QEClusterStructure.mesa!2                    28-Jan-88 16:31:14 PST
  QECadStructure.mesa!2                        28-Jan-88 16:31:49 PST
  QEBasis.mesa!1                               28-Jan-88 14:58:53 PST
  QEProjectionStructure.mesa!1                 28-Jan-88 15:44:34 PST
  QECadBasePhase.mesa!1                        28-Jan-88 16:29:20 PST
  QECadExtension.mesa!1                        28-Jan-88 16:28:46 PST
  QECadAdjacencies.mesa!2                      10-Feb-88 19:48:38 PST
  QECadManager.mesa!1                          30-Nov-87 15:15:38 PST
  QESignatureTableStructure.mesa!1             30-Nov-87 15:17:18 PST
  QEManager.mesa!2                             29-Jan-88 12:29:55 PST

Directory [Indigo]<QuantifierElimination>OldQE>
  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