Admin/check_ml_headers
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