Isabelle-91(ID:3664/isa002)

First implementation of Isabelle
Related languages
Isabelle => Isabelle-91   Evolution of
Isabelle-91 => Isabelle-92   Evolution of
Isabelle-91 => Isabelle-93   Evolution of

Resources