src/Pure/Tools/doc.scala
changeset 53935 59c6dbdf0a38
parent 53777 06a6216f733e
child 54690 cd88b44623bf
     1.1 --- a/src/Pure/Tools/doc.scala	Thu Sep 26 22:29:29 2013 +0200
     1.2 +++ b/src/Pure/Tools/doc.scala	Thu Sep 26 22:34:43 2013 +0200
     1.3 @@ -59,6 +59,7 @@
     1.4      val names =
     1.5        List(
     1.6          "src/HOL/ex/Seq.thy",
     1.7 +        "src/HOL/ex/ML.thy",
     1.8          "src/HOL/Unix/Unix.thy",
     1.9          "src/HOL/Isar_Examples/Drinker.thy")
    1.10      Section("Examples") :: names.map(name => text_file(name).get)