add: Nqthm, Larch, LSL, Larch/C++, Larch/Smalltalk, SAL, ARS db. edit: PVS, NuPRL