| Sun, 05 Apr 2009 19:21:51 +0100 | chaieb | No Complex_Main needed | changeset | files |
| Sun, 05 Apr 2009 05:07:10 +0100 | chaieb | now deals with devision in fields | changeset | files |
| Fri, 03 Apr 2009 18:03:29 +0200 | wenzelm | fixed formal markup; | changeset | files |
| Fri, 03 Apr 2009 16:18:14 +0200 | nipkow | merged | changeset | files |
| Fri, 03 Apr 2009 16:17:50 +0200 | nipkow | Finite_Set: lemma | changeset | files |
| Fri, 03 Apr 2009 12:08:09 +0200 | wenzelm | single-threaded build; | changeset | files |
| Fri, 03 Apr 2009 10:09:06 +0200 | berghofe | merged | changeset | files |
| Fri, 03 Apr 2009 10:08:47 +0200 | berghofe | Added check whether argument types of inductive set agree with types of declared | changeset | files |
| Fri, 03 Apr 2009 09:27:31 +0200 | nipkow | added setsum_eq_1_iff | changeset | files |
| Thu, 02 Apr 2009 22:03:04 +0200 | wenzelm | simplified website/config; | changeset | files |
| Thu, 02 Apr 2009 16:18:19 +0200 | nipkow | Updated to corrected E output messages | changeset | files |
| Thu, 02 Apr 2009 15:08:38 +0200 | wenzelm | updated keywords (with polyml-experimental); | changeset | files |
| Thu, 02 Apr 2009 15:07:00 +0200 | wenzelm | some more HOL-Nominal news; | changeset | files |
| Thu, 02 Apr 2009 14:49:58 +0200 | wenzelm | merged | changeset | files |
| Thu, 02 Apr 2009 14:49:50 +0200 | wenzelm | tuned signature; | changeset | files |
| Thu, 02 Apr 2009 14:30:16 +0200 | wenzelm | misc tuning for release; | changeset | files |
| Thu, 02 Apr 2009 14:39:29 +0200 | berghofe | merged | changeset | files |
| Thu, 02 Apr 2009 14:39:10 +0200 | berghofe | Fixed bug in transformation of congruence rule for == | changeset | files |
| Thu, 02 Apr 2009 14:09:41 +0200 | wenzelm | some HOL-Nominal news; | changeset | files |
| Thu, 02 Apr 2009 14:02:45 +0200 | wenzelm | updates for Isabelle2009 release; | changeset | files |
| Thu, 02 Apr 2009 14:02:34 +0200 | wenzelm | tuned; | changeset | files |
| Thu, 02 Apr 2009 13:41:31 +0200 | wenzelm | merged | changeset | files |
| Thu, 02 Apr 2009 13:41:02 +0200 | wenzelm | misc cleanup and rearrangements for Isabelle2009 release; | changeset | files |
| Wed, 01 Apr 2009 22:29:27 +0200 | nipkow | merged | changeset | files |
| Wed, 01 Apr 2009 22:29:10 +0200 | nipkow | cleaned up setprod_zero-related lemmas | changeset | files |
| Wed, 01 Apr 2009 11:34:21 -0700 | huffman | merged | changeset | files |
| Wed, 01 Apr 2009 11:31:24 -0700 | huffman | generalized setprod_nonneg and setprod_pos to ordered_semidom, simplified proofs | changeset | files |
| Wed, 01 Apr 2009 18:41:15 +0200 | nipkow | added nat_div_gt_0 [simp] | changeset | files |
| Wed, 01 Apr 2009 16:55:31 +0200 | nipkow | added setsum_pos_nat | changeset | files |
| Wed, 01 Apr 2009 16:03:18 +0200 | nipkow | merged | changeset | files |