isabelle: Changelog

haftmann [Tue, 09 Jan 2007 08:31:47 +0100] rev 22032

typo

haftmann [Tue, 09 Jan 2007 08:31:46 +0100] rev 22031

added map_abs_vars

wenzelm [Mon, 08 Jan 2007 12:26:13 +0100] rev 22030

tuned signature;

webertj [Sun, 07 Jan 2007 16:21:22 +0100] rev 22029

print functions for typs and terms added

aspinall [Sun, 07 Jan 2007 14:05:44 +0100] rev 22028

Be more chatty in PGIP file operations.

chaieb [Sat, 06 Jan 2007 20:56:44 +0100] rev 22027

A few lemmas about relative primes when dividing trough gcd Definition of gcd on integers and a few lemmas.

chaieb [Sat, 06 Jan 2007 20:47:09 +0100] rev 22026

A few theorems on integer divisibily.

paulson [Fri, 05 Jan 2007 17:38:05 +0100] rev 22025

Introduction of a bound on DEPTH_ITER, to prevent the meson method from running forever

webertj [Fri, 05 Jan 2007 15:33:05 +0100] rev 22024

reverted to v1.60 (PolyML 4.1.3 still has the wrong signature for Array.modifyi)

haftmann [Fri, 05 Jan 2007 14:32:07 +0100] rev 22023

added codegen_func.ML

isabelle