fixed titles;
authorwenzelm
Wed Jan 13 15:18:02 1999 +0100 (1999-01-13)
changeset 6118caa439435666
parent 6117 f9aad8ccd590
child 6119 7e3eb9b4df8e
fixed titles;
src/Pure/General/file.ML
src/Pure/General/name_space.ML
src/Pure/General/object.ML
src/Pure/General/path.ML
src/Pure/General/position.ML
src/Pure/General/pretty.ML
src/Pure/General/scan.ML
src/Pure/General/seq.ML
src/Pure/General/source.ML
src/Pure/General/symbol.ML
src/Pure/General/table.ML
     1.1 --- a/src/Pure/General/file.ML	Wed Jan 13 15:14:47 1999 +0100
     1.2 +++ b/src/Pure/General/file.ML	Wed Jan 13 15:18:02 1999 +0100
     1.3 @@ -1,4 +1,4 @@
     1.4 -(*  Title:      Pure/Thy/file.ML
     1.5 +(*  Title:      Pure/General/file.ML
     1.6      ID:         $Id$
     1.7      Author:     Markus Wenzel, TU Muenchen
     1.8  
     2.1 --- a/src/Pure/General/name_space.ML	Wed Jan 13 15:14:47 1999 +0100
     2.2 +++ b/src/Pure/General/name_space.ML	Wed Jan 13 15:18:02 1999 +0100
     2.3 @@ -1,4 +1,4 @@
     2.4 -(*  Title:      Pure/name_space.ML
     2.5 +(*  Title:      Pure/General/name_space.ML
     2.6      ID:         $Id$
     2.7      Author:     Markus Wenzel, TU Muenchen
     2.8  
     3.1 --- a/src/Pure/General/object.ML	Wed Jan 13 15:14:47 1999 +0100
     3.2 +++ b/src/Pure/General/object.ML	Wed Jan 13 15:18:02 1999 +0100
     3.3 @@ -1,4 +1,4 @@
     3.4 -(*  Title:      Pure/object.ML
     3.5 +(*  Title:      Pure/General/object.ML
     3.6      ID:         $Id$
     3.7      Author:     Markus Wenzel, TU Muenchen
     3.8  
     4.1 --- a/src/Pure/General/path.ML	Wed Jan 13 15:14:47 1999 +0100
     4.2 +++ b/src/Pure/General/path.ML	Wed Jan 13 15:18:02 1999 +0100
     4.3 @@ -1,4 +1,4 @@
     4.4 -(*  Title:      Pure/Thy/path.ML
     4.5 +(*  Title:      Pure/General/path.ML
     4.6      ID:         $Id$
     4.7      Author:     Markus Wenzel, TU Muenchen
     4.8  
     5.1 --- a/src/Pure/General/position.ML	Wed Jan 13 15:14:47 1999 +0100
     5.2 +++ b/src/Pure/General/position.ML	Wed Jan 13 15:18:02 1999 +0100
     5.3 @@ -1,4 +1,4 @@
     5.4 -(*  Title:      Pure/Thy/position.ML
     5.5 +(*  Title:      Pure/General/position.ML
     5.6      ID:         $Id$
     5.7      Author:     Markus Wenzel, TU Muenchen
     5.8  
     6.1 --- a/src/Pure/General/pretty.ML	Wed Jan 13 15:14:47 1999 +0100
     6.2 +++ b/src/Pure/General/pretty.ML	Wed Jan 13 15:18:02 1999 +0100
     6.3 @@ -1,4 +1,4 @@
     6.4 -(*  Title:      Pure/Syntax/pretty.ML
     6.5 +(*  Title:      Pure/General/pretty.ML
     6.6      ID:         $Id$
     6.7      Author:     Lawrence C Paulson
     6.8      Copyright   1991  University of Cambridge
     7.1 --- a/src/Pure/General/scan.ML	Wed Jan 13 15:14:47 1999 +0100
     7.2 +++ b/src/Pure/General/scan.ML	Wed Jan 13 15:18:02 1999 +0100
     7.3 @@ -1,4 +1,4 @@
     7.4 -(*  Title:	Pure/Syntax/scan.ML
     7.5 +(*  Title:	Pure/General/scan.ML
     7.6      ID:		$Id$
     7.7      Author:	Markus Wenzel and Tobias Nipkow, TU Muenchen
     7.8  
     8.1 --- a/src/Pure/General/seq.ML	Wed Jan 13 15:14:47 1999 +0100
     8.2 +++ b/src/Pure/General/seq.ML	Wed Jan 13 15:18:02 1999 +0100
     8.3 @@ -1,4 +1,4 @@
     8.4 -(*  Title:      Pure/seq.ML
     8.5 +(*  Title:      Pure/General/seq.ML
     8.6      ID:         $Id$
     8.7      Author:     Lawrence C Paulson, Cambridge University Computer Laboratory
     8.8  
     9.1 --- a/src/Pure/General/source.ML	Wed Jan 13 15:14:47 1999 +0100
     9.2 +++ b/src/Pure/General/source.ML	Wed Jan 13 15:18:02 1999 +0100
     9.3 @@ -1,4 +1,4 @@
     9.4 -(*  Title:      Pure/Syntax/source.ML
     9.5 +(*  Title:      Pure/General/source.ML
     9.6      ID:         $Id$
     9.7      Author:     Markus Wenzel, TU Muenchen
     9.8  
    10.1 --- a/src/Pure/General/symbol.ML	Wed Jan 13 15:14:47 1999 +0100
    10.2 +++ b/src/Pure/General/symbol.ML	Wed Jan 13 15:18:02 1999 +0100
    10.3 @@ -1,4 +1,4 @@
    10.4 -(*  Title:      Pure/Syntax/symbol.ML
    10.5 +(*  Title:      Pure/General/symbol.ML
    10.6      ID:         $Id$
    10.7      Author:     Markus Wenzel, TU Muenchen
    10.8  
    11.1 --- a/src/Pure/General/table.ML	Wed Jan 13 15:14:47 1999 +0100
    11.2 +++ b/src/Pure/General/table.ML	Wed Jan 13 15:18:02 1999 +0100
    11.3 @@ -1,4 +1,4 @@
    11.4 -(*  Title:      Pure/table.ML
    11.5 +(*  Title:      Pure/General/table.ML
    11.6      ID:         $Id$
    11.7      Author:     Markus Wenzel, TU Muenchen
    11.8