src/HOL/Matrix/ComputeFloat.thy
Mon, 14 Nov 2011 18:36:31 +0100 hoelzl cleaned up float theories; removed duplicate definitions and theorems
Wed, 04 May 2011 15:37:39 +0200 wenzelm proper case_names for int_cases, int_of_nat_induct;
Sun, 13 Mar 2011 22:55:50 +0100 wenzelm tuned headers;
Fri, 14 Jan 2011 15:44:47 +0100 wenzelm eliminated global prems;
Wed, 29 Dec 2010 17:34:41 +0100 wenzelm explicit file specifications -- avoid secondary load path;
Wed, 11 Aug 2010 12:40:08 +0200 wenzelm modernized some specifications;
Mon, 08 Feb 2010 14:06:41 +0100 haftmann separate library theory for type classes combining lattices with various algebraic structures
Wed, 02 Sep 2009 16:25:44 +0200 wenzelm reorganized Compute theories for HOL-Matrix -- avoiding theory files within main HOL/Tools;
less more (0) tip