There's significantly more for the TI Explorer Lisp machine: http://bitsavers.trailing-edge.com/pdf/ti/explorer/
And even more for Symbolics: http://bitsavers.trailing-edge.com/pdf/symbolics/
Xerox did a Lisp machine line: http://bitsavers.trailing-edge.com/pdf/xerox/interlisp/
There's a working emulator for the MIT CADR: http://www.unlambda.com/cadr/index.html
And you can of course run Genera in an emulator: http://www.unlambda.com/download/genera/
There's a semi working TI explorer emu: http://www.unlambda.com/lispm/
There is a working TI explorer emulator: http://www.unlambda.com/index.php?n=Main.Meroko
An updated version of the MIT CADR emulator: http://trac.common-lisp.net/mit-cadr/browser/
Source trees for the LMI and TI machines are also on the web.
Without usable licenses.
The LMI stuff is more interesting to me as it is complete, I'm still a fair bit of work away from being able to build it though. I have spoken with RG about it but we didn't discuss the licence.
At the start of 2011 I got in touch with Robby Holland, then the head of TI's patent licensing division. Holland could not find anything about the computer systems division, or anything about the sale, or whether they owned the rights anymore. They did not have any of the project materials on hand. Holland said he would have someone look into the archives. When I tried to get in touch with him a few months later Holland was no longer with Texas Instruments.
No usable license so far.
The microcode sources are missing and one of the files for NFS is truncated.