isabelle: Changelog

haftmann [Tue, 09 Aug 2005 15:44:24 +0200] rev 17041

exported after_qed for arity proofs

nipkow [Tue, 09 Aug 2005 11:44:38 +0200] rev 17040

added finite(option) to Recdef.thy

haftmann [Tue, 09 Aug 2005 11:00:44 +0200] rev 17039

added selectors 'classes_of' and 'classes_arities_of'

haftmann [Tue, 09 Aug 2005 10:23:14 +0200] rev 17038

exported dest_def

haftmann [Tue, 09 Aug 2005 10:03:30 +0200] rev 17037

added 'the_const_constraint'

haftmann [Tue, 09 Aug 2005 08:56:34 +0200] rev 17036

(added to repository)

haftmann [Tue, 09 Aug 2005 08:54:41 +0200] rev 17035

(added to repository)

ballarin [Mon, 08 Aug 2005 22:14:04 +0200] rev 17034

After_qed takes result argument.

ballarin [Mon, 08 Aug 2005 22:11:31 +0200] rev 17033

Release of interpretation in locale.

nipkow [Mon, 08 Aug 2005 12:15:03 +0200] rev 17032

fixed typo in ratadd

isabelle