src/Doc/Tutorial/ToyList/ToyList_Test.thy

clarified ISABELLE_JDK_HOME vs. JAVA_HOME;

theory ToyList_Test
imports BNF_Least_Fixpoint
begin

ML {*
  map (File.read o Path.append (Resources.master_directory @{theory}) o Path.explode)
    ["ToyList1.txt", "ToyList2.txt"]
  |> implode
  |> Thy_Info.script_thy Position.start
*}

end