src/Pure/search.ML
changeset 16179 fa7e70be26b0
parent 15574 b1d1b5bfc464
child 18921 f47c46d7d654
     1.1 --- a/src/Pure/search.ML	Thu Jun 02 02:21:44 2005 +0200
     1.2 +++ b/src/Pure/search.ML	Thu Jun 02 09:11:32 2005 +0200
     1.3 @@ -1,8 +1,8 @@
     1.4 -(*  Title: 	search
     1.5 +(*  Title: 	Pure/search.ML
     1.6      ID:         $Id$
     1.7      Author: 	Lawrence C Paulson and Norbert Voelker
     1.8  
     1.9 -Search tacticals
    1.10 +Search tacticals.
    1.11  *)
    1.12  
    1.13  infix 1 THEN_MAYBE THEN_MAYBE';