You may try CADR (precursor to Genera) on-line: https://lispcafe.org/cadr/usim.html