Computer History Museum Logo

Directory [Indigo]<QuantifierElimination>QuantifierElimination>

Subdirectories

Files

  1. Cad2D.mesa!1 Tioga (Text) (Original) 3712 04-Sep-1986 12:26:30 PDT Arnon.pa
  2. Cad2DImpl.mesa!1 Tioga (Text) (Original) 14298 11-Sep-1986 11:50:14 PDT Arnon.pa
  3. Cads.bcd!1 Binary (Original) 6328 14-Jan-1988 13:46:55 PST Arnon.pa
  4. Cads.mesa!1 Tioga (Text) (Original) 21772 19-Nov-1987 17:38:54 PST Arnon.pa
  5. Cads.mesa!2 Tioga (Text) (Original) 19487 14-Jan-1988 13:46:51 PST Arnon.pa
  6. CadsImpl.mesa!1 Tioga (Text) (Original) 27219 14-Jan-1987 11:30:17 PST Arnon.pa
  7. CadsImpl.mesa!2 Tioga (Text) (Original) 27331 14-Jan-1988 13:43:59 PST Arnon.pa
  8. Cells.bcd!1 Binary (Original) 5988 14-Jan-1988 13:39:06 PST Arnon.pa
  9. Cells.mesa!1 Tioga (Text) (Original) 5898 27-Oct-1987 08:08:37 PST Arnon.pa
  10. Cells.mesa!2 Tioga (Text) (Original) 4720 14-Jan-1988 13:39:01 PST Arnon.pa
  11. CellsImpl.mesa!1 Tioga (Text) (Original) 23224 14-Jan-1987 11:29:02 PST Arnon.pa
  12. Colors.bcd!1 Binary (Original) 3190 14-Jan-1988 13:34:31 PST Arnon.pa
  13. Colors.mesa!1 Tioga (Text) (Original) 902 22-Oct-1986 11:56:10 PDT Arnon.pa
  14. Colors.mesa!2 Tioga (Text) (Original) 896 14-Jan-1988 13:34:28 PST Arnon.pa
  15. ColorsImpl.mesa!1 Tioga (Text) (Original) 3973 22-Oct-1986 11:58:24 PDT Arnon.pa
  16. CoveringSets.bcd!1 Binary (Original) 4576 14-Jan-1988 13:27:07 PST Arnon.pa
  17. CoveringSets.mesa!1 Tioga (Text) (Original) 3499 22-Oct-1986 07:07:57 PDT Arnon.pa
  18. CoveringSets.mesa!2 Tioga (Text) (Original) 2683 14-Jan-1988 13:27:04 PST Arnon.pa
  19. CoveringSets.mesa!3 Tioga (Text) (Original) 2271 18-Jan-1988 13:05:47 PST Arnon.pa
  20. CoveringSetsImpl.mesa!1 Tioga (Text) (Original) 13976 31-Oct-1986 05:18:50 PST Arnon.pa
  21. CoveringSetsImpl.mesa!2 Tioga (Text) (Original) 13994 14-Jan-1988 13:26:02 PST Arnon.pa
  22. QE.mesa!1 Tioga (Text) (Original) 3168 19-Nov-1987 06:33:47 PST Arnon.pa
  23. QEIO.mesa!1 Tioga (Text) (Original) 9695 29-Sep-1986 11:52:22 PDT Arnon.pa
  24. QEIOImpl.mesa!1 Tioga (Text) (Original) 43601 30-Sep-1986 14:19:11 PDT Arnon.pa
  25. QETypes.mesa!1 Tioga (Text) (Original) 9962 09-Oct-1986 15:37:19 PDT Arnon.pa
  26. RatIntervals.bcd!1 Binary (Original) 3032 14-Jan-1988 13:19:10 PST Arnon.pa
  27. RatIntervals.mesa!1 Tioga (Text) (Original) 1195 14-Jan-1988 13:19:08 PST Arnon.pa
  28. RatIntervalsImpl.mesa!1 Tioga (Text) (Original) 2110 30-Sep-1986 09:18:10 PDT Arnon.pa
  29. SamplePoints.bcd!1 Binary (Original) 4428 14-Jan-1988 13:32:16 PST Arnon.pa
  30. SamplePoints.mesa!1 Tioga (Text) (Original) 3373 03-Oct-1986 13:14:09 PDT Arnon.pa
  31. SamplePoints.mesa!2 Tioga (Text) (Original) 2727 14-Jan-1988 13:32:07 PST Arnon.pa
  32. SamplePointsImpl.mesa!1 Tioga (Text) (Original) 15387 31-Oct-1986 05:23:41 PST Arnon.pa
  33. SamplePointsImpl.mesa!2 Tioga (Text) (Original) 15415 14-Jan-1988 13:31:58 PST Arnon.pa
  34. Triangles.bcd!1 Binary (Original) 3438 14-Jan-1988 13:32:27 PST Arnon.pa
  35. Triangles.mesa!1 Tioga (Text) (Original) 1539 14-Jan-1987 11:03:16 PST Arnon.pa
  36. Triangles.mesa!2 Tioga (Text) (Original) 1508 14-Jan-1988 13:28:52 PST Arnon.pa
  37. TrianglesImpl.bcd!1 Binary (Original) 5848 18-Jan-1988 13:04:10 PST Arnon.pa
  38. TrianglesImpl.mesa!1 Tioga (Text) (Original) 4246 14-Jan-1987 11:28:33 PST Arnon.pa
  39. TrianglesImpl.mesa!2 Tioga (Text) (Original) 3683 18-Jan-1988 13:04:03 PST Arnon.pa