isabelle: Changelog

wenzelm [Fri, 28 Feb 2014 17:31:19 +0100] rev 55806

explicit link to Z3 license;

wenzelm [Fri, 28 Feb 2014 15:20:18 +0100] rev 55805

recovered minimal README from 30de372ca56f;

traytel [Thu, 27 Feb 2014 22:46:29 +0100] rev 55804

adapt examples to new intermediate typedef

traytel [Tue, 25 Feb 2014 18:14:26 +0100] rev 55803

joint work with blanchet: intermediate typedef for the input to fp-operations

wenzelm [Fri, 28 Feb 2014 12:04:40 +0100] rev 55802

prefer abstract datatype -- in accordance to ML version;

wenzelm [Fri, 28 Feb 2014 11:58:26 +0100] rev 55801

tuned data structure;

wenzelm [Fri, 28 Feb 2014 11:50:54 +0100] rev 55800

tuned;

wenzelm [Fri, 28 Feb 2014 11:48:14 +0100] rev 55799

tuned comment;

wenzelm [Fri, 28 Feb 2014 11:46:54 +0100] rev 55798

tuned signature;

wenzelm [Fri, 28 Feb 2014 11:13:25 +0100] rev 55797

tuned errors -- in accordance to Scala version;

isabelle