Table of Contents for Programming Languages: a survey
Not Turing-complete (termination condition)
Not Turing-complete (termination condition) (sorta)
Succeeded by Isabelle.
Not Turing-complete (termination condition)
Not Turing-complete (termination condition)
Not Turing-complete (termination condition)