lib/logo/isabelle_holcf.gif
| author |
chaieb |
|
Wed, 28 Jan 2009 13:23:59 +0000 |
| changeset 29674 |
3857d7eba390 |
| parent 3799 |
d00f6460ac4d
|
| permissions |
-rw-r--r-- |
Added theorems setsum_reindex_nonzero, setsum_mono_zero_left, setsum_mono_zero_right, setsum_mono_zero_cong_left, setsum_mono_zero_cong_right, setsum_delta, strong_setprod_reindex_cong, setprod_delta
|
3799
|
1 |
(binary:image/gif) |
