isabelle: Changelog

obua [Mon, 26 Sep 2005 16:10:19 +0200] rev 17652

Release HOL4 and HOLLight Importer.

wenzelm [Mon, 26 Sep 2005 15:56:28 +0200] rev 17651

copy doc/Contents;

skalberg [Mon, 26 Sep 2005 15:17:33 +0200] rev 17650

Made sure all lemmas now have names (especially so that certain of them can be removed from the simpset).

wenzelm [Mon, 26 Sep 2005 13:12:24 +0200] rev 17649

echo HOL_USERDIR_OPTIONS;

obua [Mon, 26 Sep 2005 08:50:21 +0200] rev 17648

tuned

obua [Mon, 26 Sep 2005 08:49:50 +0200] rev 17647

added ROOT.ML

haftmann [Mon, 26 Sep 2005 08:41:24 +0200] rev 17646

adjusted web link

obua [Mon, 26 Sep 2005 02:27:59 +0200] rev 17645

added entry for running HOLLight

obua [Mon, 26 Sep 2005 02:27:14 +0200] rev 17644

fixed disambiguation problem

obua [Mon, 26 Sep 2005 02:06:44 +0200] rev 17643

added Drule.disambiguate_frees : thm -> thm

isabelle