Sat, 03 Sep 2011 17:32:34 +0200 | haftmann | tuned specifications and proofs | changeset | files |
Sat, 03 Sep 2011 22:11:49 +0200 | wenzelm | merged | changeset | files |
Sat, 03 Sep 2011 09:26:11 -0700 | huffman | remove duplicate lemma finite_choice in favor of finite_set_choice | changeset | files |