eliminated obsolete CVS Ids; tuned headers;
Merged in license change from Isabelle2004
cleanup, comments
eliminated dependencies on AWT for batch mode