| changeset 62870 | cf724647f75b |
| parent 62869 | 64a5cf42be1e |
| child 62874 | b0194643e64c |
--- a/src/Pure/ROOT.ML Tue Apr 05 17:16:46 2016 +0200 +++ b/src/Pure/ROOT.ML Tue Apr 05 17:25:11 2016 +0200 @@ -226,7 +226,7 @@ -(** bootstrap phase 3: towards Pure.thy and final ML toplevel setup *) +(** bootstrap phase 3: towards theory "Pure" and final ML toplevel setup *) (*basic proof engine*) use "par_tactical.ML";