changeset 42830 | b460124855b8 |
parent 41833 | 45d7da4e4ccf |
child 43231 | da8817d01e7c |
1.1 --- a/src/Pure/Isar/named_target.ML Sun Mar 13 22:24:10 2011 +0100 1.2 +++ b/src/Pure/Isar/named_target.ML Sun Mar 13 22:55:50 2011 +0100 1.3 @@ -1,4 +1,4 @@ 1.4 -(* Title: Pure/Isar/theory_target.ML 1.5 +(* Title: Pure/Isar/named_target.ML 1.6 Author: Makarius 1.7 Author: Florian Haftmann, TU Muenchen 1.8