isabelle: Changelog

nipkow [Tue, 11 Oct 2005 17:30:00 +0200] rev 17830

added hd lemma

paulson [Tue, 11 Oct 2005 15:04:11 +0200] rev 17829

simplifying the treatment of clausification

paulson [Tue, 11 Oct 2005 15:03:36 +0200] rev 17828

simplifying the treatment of nameless theorems

wenzelm [Tue, 11 Oct 2005 14:02:33 +0200] rev 17827

expand: error on undefined/empty env variable; tuned;

wenzelm [Tue, 11 Oct 2005 14:02:32 +0200] rev 17826

added assert; tuned;

wenzelm [Tue, 11 Oct 2005 13:30:17 +0200] rev 17825

tuned;

wenzelm [Tue, 11 Oct 2005 13:28:08 +0200] rev 17824

added string_of_pid;

wenzelm [Tue, 11 Oct 2005 13:28:07 +0200] rev 17823

raw symbols: allow non-ASCII chars (e.g. UTF-8); tuned comment;

wenzelm [Tue, 11 Oct 2005 13:28:06 +0200] rev 17822

moved string_of_pid to ML-Systems;

wenzelm [Tue, 11 Oct 2005 13:28:05 +0200] rev 17821

ML_SUFFIX in targets (experimental);

isabelle