Fri, 06 May 2005 11:30:10 +0200 replaced some outdated HTML by more modern constructs
haftmann [Fri, 06 May 2005 11:30:10 +0200] rev 15932
replaced some outdated HTML by more modern constructs
Fri, 06 May 2005 08:37:39 +0200 added new antiquotations
haftmann [Fri, 06 May 2005 08:37:39 +0200] rev 15931
added new antiquotations
Fri, 06 May 2005 03:47:44 +0200 Replaced all unnecessary uses of SOME with THE or LEAST
huffman [Fri, 06 May 2005 03:47:44 +0200] rev 15930
Replaced all unnecessary uses of SOME with THE or LEAST
Thu, 05 May 2005 13:21:05 +0200 lucas - added option to select occurance to rewrite e.g. (occ 4)
dixon [Thu, 05 May 2005 13:21:05 +0200] rev 15929
lucas - added option to select occurance to rewrite e.g. (occ 4)
Thu, 05 May 2005 11:58:59 +0200 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: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.
Thu, 05 May 2005 11:56:00 +0200 lucas - added update node function.
dixon [Thu, 05 May 2005 11:56:00 +0200] rev 15927
lucas - added update node function.
Wed, 04 May 2005 18:50:39 +0200 Added eta_long attribute.
berghofe [Wed, 04 May 2005 18:50:39 +0200] rev 15926
Added eta_long attribute.
Wed, 04 May 2005 18:50:21 +0200 Added eta_long_conversion.
berghofe [Wed, 04 May 2005 18:50:21 +0200] rev 15925
Added eta_long_conversion.
Wed, 04 May 2005 10:44:53 +0200 eta-expansion
paulson [Wed, 04 May 2005 10:44:53 +0200] rev 15924
eta-expansion
Wed, 04 May 2005 10:42:43 +0200 fixed lin.arith
nipkow [Wed, 04 May 2005 10:42:43 +0200] rev 15923
fixed lin.arith
(0) -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip