isabelle: Changelog

aspinall [Wed, 13 Jul 2005 15:25:05 +0200] rev 16798

Add acceptedpgipelems message

paulson [Wed, 13 Jul 2005 15:19:13 +0200] rev 16797

auto update

paulson [Wed, 13 Jul 2005 15:06:20 +0200] rev 16796

generlization of some "nat" theorems

paulson [Wed, 13 Jul 2005 15:06:04 +0200] rev 16795

relevance filtering is now optional

paulson [Wed, 13 Jul 2005 15:05:48 +0200] rev 16794

tidied

wenzelm [Wed, 13 Jul 2005 14:56:00 +0200] rev 16793

fixed comment-out;

obua [Wed, 13 Jul 2005 12:24:39 +0200] rev 16792

fix

aspinall [Wed, 13 Jul 2005 12:14:23 +0200] rev 16791

Add management for current working directory

haftmann [Wed, 13 Jul 2005 11:30:37 +0200] rev 16790

(fix for an accidental commit)

aspinall [Wed, 13 Jul 2005 11:29:08 +0200] rev 16789

Note about theorem dependencies including themselves.

isabelle