| Sun, 02 Nov 2014 18:21:45 +0100 |
wenzelm |
modernized header uniformly as section;
|
file |
diff |
annotate
|
| Sat, 05 Jul 2014 11:01:53 +0200 |
haftmann |
prefer ac_simps collections over separate name bindings for add and mult
|
file |
diff |
annotate
|
| Thu, 12 Sep 2013 15:08:07 -0700 |
huffman |
remove unneeded assumption from prime_dvd_power lemmas;
|
file |
diff |
annotate
|
| Tue, 13 Aug 2013 16:25:47 +0200 |
wenzelm |
standardized symbols via "isabelle update_sub_sup", excluding src/Pure and src/Tools/WWW_Find;
|
file |
diff |
annotate
|
| Mon, 15 Apr 2013 22:51:55 +0200 |
hoelzl |
use automatic type coerctions in Sqrt example
|
file |
diff |
annotate
|
| Wed, 15 Feb 2012 21:38:28 +0100 |
wenzelm |
uniform Isar source formatting for this file;
|
file |
diff |
annotate
|
| Mon, 19 Dec 2011 17:10:45 +0100 |
nipkow |
added old chestnut
|
file |
diff |
annotate
|
| Tue, 01 Sep 2009 15:39:33 +0200 |
haftmann |
some reorganization of number theory
|
file |
diff |
annotate
|
| Tue, 07 Jul 2009 17:39:51 +0200 |
nipkow |
renamed lemmas: nat_xyz/int_xyz -> xyz_nat/xyz_int
|
file |
diff |
annotate
|
| Thu, 18 Jun 2009 08:45:26 -0700 |
huffman |
update ex/Sqrt.thy to use new GCD library
|
file |
diff |
annotate
|
| Tue, 10 Mar 2009 16:48:27 +0100 |
wenzelm |
tuned proofs;
|
file |
diff |
annotate
|
| Wed, 03 Dec 2008 15:58:44 +0100 |
haftmann |
made repository layout more coherent with logical distribution structure; stripped some $Id$s
|
file |
diff |
annotate
| base
|