| 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 |