@Bibtex-file{Ai/symbolics.bib,
  title =        "bibliography on reports and manuals from Symbolics,
                 Inc.",
  supported =    "gone",
}