Admin/check_ml_headers
2010-07-08 haftmann 2010-07-08 tuned script
2010-05-12 wenzelm 2010-05-12 removed obsolete CVS Ids;
2008-10-04 wenzelm 2008-10-04 simplified main Isabelle executables: removed Isabelle and isabelle (replaced by isabelle-process), renamed isatool to isabelle;
2007-09-18 haftmann 2007-09-18 added script checking for consistency of ML file header