isabelle: Changelog

haftmann [Fri, 06 May 2005 11:30:10 +0200] rev 15932

replaced some outdated HTML by more modern constructs

haftmann [Fri, 06 May 2005 08:37:39 +0200] rev 15931

added new antiquotations

huffman [Fri, 06 May 2005 03:47:44 +0200] rev 15930

Replaced all unnecessary uses of SOME with THE or LEAST

dixon [Thu, 05 May 2005 13:21:05 +0200] rev 15929

lucas - added option to select occurance to rewrite e.g. (occ 4)

dixon [Thu, 05 May 2005 11:58:59 +0200] rev 15928

lucas - made clean unify smash unifiers so that when we get flex-flex constraints subst does not barf. Also added fix_vars_upto_idx to IsaND.

dixon [Thu, 05 May 2005 11:56:00 +0200] rev 15927

lucas - added update node function.

berghofe [Wed, 04 May 2005 18:50:39 +0200] rev 15926

Added eta_long attribute.

berghofe [Wed, 04 May 2005 18:50:21 +0200] rev 15925

Added eta_long_conversion.

paulson [Wed, 04 May 2005 10:44:53 +0200] rev 15924

eta-expansion

nipkow [Wed, 04 May 2005 10:42:43 +0200] rev 15923

fixed lin.arith

isabelle