Tue, 05 Mar 2013 09:47:15 +0100 | traytel | allow more general coercion maps; tuned; | changeset | files |
Tue, 05 Mar 2013 10:16:15 +0100 | nipkow | more lemmas about intervals | changeset | files |
Mon, 04 Mar 2013 17:32:10 +0100 | wenzelm | merged | changeset | files |