Source : Free On-Line Dictionary of Computing

Isabelle-93
     
        {Isabelle}