src/HOL/NumberTheory/Fib.thy
Fri, 11 Nov 2005 10:50:43 +0100 chaieb a proof step corrected due to the changement in the presburger method.
Fri, 17 Jun 2005 16:12:49 +0200 haftmann migrated theory headers to new format
Fri, 25 Mar 2005 16:20:57 +0100 paulson tidied up
Fri, 14 Jan 2005 12:00:27 +0100 nipkow made diff_less a simp rule
Thu, 24 Jun 2004 17:52:02 +0200 paulson replaced monomorphic abs definitions by abs_if
Mon, 22 Oct 2001 11:54:22 +0200 paulson Numerals now work for the integers: the binary numerals for 0 and 1 rewrite
Mon, 15 Oct 2001 20:42:06 +0200 wenzelm setsum syntax;
Sat, 06 Oct 2001 00:02:46 +0200 wenzelm * sane numerals (stage 2): plain "num" syntax (removed "#");
Fri, 05 Oct 2001 21:52:39 +0200 wenzelm sane numerals (stage 1): added generic 1, removed 1' and 2 on nat,
Tue, 07 Aug 2001 16:36:52 +0200 paulson Tweaks for 1 -> 1'
Mon, 25 Jun 2001 15:35:59 +0200 paulson Simprocs for type "nat" no longer introduce numerals unless they are already
Sun, 04 Feb 2001 19:31:13 +0100 wenzelm HOL-NumberTheory: converted to new-style format and proper document setup;
Tue, 03 Oct 2000 22:37:16 +0200 wenzelm tuned deps;
Wed, 13 Sep 2000 18:46:45 +0200 paulson moved Primes, Fib, Factorization from HOL/ex
less more (0) tip