| changeset 73431 | f27d7b12e8a4 |
| parent 73419 | 22f3f2117ed7 |
| child 73523 | 2cd23d587db9 |
| 73430:c7f14309e291 | 73431:f27d7b12e8a4 |
|---|---|
258 Isabelle_System.Copy_File, |
258 Isabelle_System.Copy_File, |
259 Isabelle_System.Copy_File_Base, |
259 Isabelle_System.Copy_File_Base, |
260 Isabelle_System.Rm_Tree, |
260 Isabelle_System.Rm_Tree, |
261 Isabelle_System.Download, |
261 Isabelle_System.Download, |
262 Isabelle_Tool.Isabelle_Tools, |
262 Isabelle_Tool.Isabelle_Tools, |
263 isabelle.atp.SystemOnTPTP.List_Systems) |
263 isabelle.atp.SystemOnTPTP.List_Systems, |
264 isabelle.atp.SystemOnTPTP.Run_System) |