Isabelle

Suggested co-authors:

* Name: Dr. Tobias Nipkow
* Email: nipkow@in.tum.de
* Affiliation: tum.de
* Comments: co-authored Isabelle for higher-order logic, editor in chief of JAR
* Suggested by: User:Mokhov

* * *

* Name: Dr. Lawrence Paulson
* Email: lp15@cam.ac.uk
* Affiliation: cam.ac.uk
* Comments: co-authored Isabelle, etc.
* Suggested by: User:Mokhov