summaryrefslogtreecommitdiff
path: root/Source/Provers/Isabelle
ModeNameSize
-rw-r--r--Isabelle.csproj10991logplain
-rw-r--r--Prover.cs33467logplain
-rw-r--r--cce.cs5170logplain