summaryrefslogtreecommitdiff
path: root/Source/Provers/Isabelle
ModeNameSize
-rw-r--r--AssemblyInfo.ssc486logplain
-rw-r--r--Isabelle.sscproj3309logplain
-rw-r--r--Prover.ssc25900logplain