Sun, 09 Mar 2014 22:27:04 +0100 | traytel | more careful unfolding of internal constants | changeset | files |
Sun, 09 Mar 2014 21:40:41 +0100 | traytel | made typedef for the type of the bound optional (size-based) | changeset | files |
Fri, 07 Mar 2014 23:10:27 +0100 | traytel | made natLe{q,ss} constants (yields smaller terms in composition) | changeset | files |
Fri, 07 Mar 2014 23:09:10 +0100 | traytel | removed junk | changeset | files |
Sun, 09 Mar 2014 18:43:38 +0100 | wenzelm | tuned proofs; | changeset | files |
Sun, 09 Mar 2014 17:43:40 +0100 | wenzelm | unused; | changeset | files |