Admin/makedist
1997-02-21 wenzelm 1997-02-21 fixed Id comment;
1997-02-20 wenzelm 1997-02-20 makedist -- make Isabelle distribution.