225 Build_PDFjs.isabelle_tool, |
225 Build_PDFjs.isabelle_tool, |
226 Build_PolyML.isabelle_tool1, |
226 Build_PolyML.isabelle_tool1, |
227 Build_PolyML.isabelle_tool2, |
227 Build_PolyML.isabelle_tool2, |
228 Build_SPASS.isabelle_tool, |
228 Build_SPASS.isabelle_tool, |
229 Build_SQLite.isabelle_tool, |
229 Build_SQLite.isabelle_tool, |
|
230 Build_Scala.isabelle_tool, |
230 Build_Status.isabelle_tool, |
231 Build_Status.isabelle_tool, |
231 Build_Vampire.isabelle_tool, |
232 Build_Vampire.isabelle_tool, |
232 Build_VeriT.isabelle_tool, |
233 Build_VeriT.isabelle_tool, |
233 Build_Zipperposition.isabelle_tool, |
234 Build_Zipperposition.isabelle_tool, |
234 Check_Sources.isabelle_tool, |
235 Check_Sources.isabelle_tool, |