src/Pure/Tools/doc.scala
changeset 56276 9e2d5e3debd3
parent 54690 cd88b44623bf
child 56422 7490555d7dff
     1.1 --- a/src/Pure/Tools/doc.scala	Tue Mar 25 13:18:10 2014 +0100
     1.2 +++ b/src/Pure/Tools/doc.scala	Tue Mar 25 14:52:35 2014 +0100
     1.3 @@ -61,7 +61,8 @@
     1.4          "src/HOL/ex/Seq.thy",
     1.5          "src/HOL/ex/ML.thy",
     1.6          "src/HOL/Unix/Unix.thy",
     1.7 -        "src/HOL/Isar_Examples/Drinker.thy")
     1.8 +        "src/HOL/Isar_Examples/Drinker.thy",
     1.9 +        "src/Tools/SML/Examples.thy")
    1.10      Section("Examples") :: names.map(name => text_file(name).get)
    1.11    }
    1.12