Title: Isabelle
First published: 1994
Subjects: Automatic theorem proving, Isabelle (Computer file)
LC classification: QA76.9.A96 P38 1994