src/Pure/ROOT
changeset 58009 987c848d509b
parent 57934 5e500c0e7eca
child 58470 890d8286fd4e
     1.1 --- a/src/Pure/ROOT	Tue Aug 19 17:00:44 2014 +0200
     1.2 +++ b/src/Pure/ROOT	Tue Aug 19 18:11:04 2014 +0200
     1.3 @@ -233,6 +233,7 @@
     1.4      "morphism.ML"
     1.5      "name.ML"
     1.6      "net.ML"
     1.7 +    "par_tactical.ML"
     1.8      "pattern.ML"
     1.9      "primitive_defs.ML"
    1.10      "proofterm.ML"