/Source/Provers/Isabelle/

• ../
• Isabelle.csproj
• Prover.cs
• cce.cs