isabelle: Changelog

wenzelm [Mon, 26 Sep 2005 19:19:12 +0200] rev 17655

yet another atempt to get doc/Contents right;

berghofe [Mon, 26 Sep 2005 19:04:31 +0200] rev 17654

Renamed wf_rec to wfrec in consts_code declaration.

wenzelm [Mon, 26 Sep 2005 17:14:48 +0200] rev 17653

really copy doc/Contents;

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

isabelle