/Source/Provers/Isabelle/
../
AssemblyInfo.ssc
Isabelle.sscproj
Prover.ssc