Wed, 27 May 2009 21:46:50 -0700 | huffman | merged | changeset | files |
Wed, 27 May 2009 16:39:22 -0700 | huffman | add constants sin_coeff, cos_coeff | changeset | files |
Wed, 27 May 2009 22:20:29 +0200 | wenzelm | merged | changeset | files |
Wed, 27 May 2009 22:11:06 +0200 | haftmann | tuned signature of add_primrec_simple | changeset | files |
Wed, 27 May 2009 22:11:06 +0200 | haftmann | added lemma select_weight_cons_zero | changeset | files |
Wed, 27 May 2009 22:11:05 +0200 | haftmann | added lemma beyond_zero; hide constants | changeset | files |