1.1 --- a/src/Tools/code/code_funcgr.ML	Wed Feb 18 08:23:11 2009 +0100
     1.2 +++ b/src/Tools/code/code_funcgr.ML	Wed Feb 18 08:23:11 2009 +0100
     1.3 @@ -1,8 +1,7 @@
     1.4  (*  Title:      Tools/code/code_funcgr.ML
     1.5 -    ID:         $Id$
     1.6      Author:     Florian Haftmann, TU Muenchen
     1.7  
     1.8 -Retrieving, normalizing and structuring defining equations in graph
     1.9 +Retrieving, normalizing and structuring code equations in graph
    1.10  with explicit dependencies.
    1.11  *)
    1.12