| Mon, 27 Oct 2014 12:03:13 +0100 | hoelzl | generalize natfloor_div_nat, add floor variant: floor_divide_real_eq_div | changeset | files |
| Sun, 26 Oct 2014 19:11:16 +0100 | haftmann | eliminated redundancies; | changeset | files |
| Sat, 25 Oct 2014 19:20:28 +0200 | haftmann | more simp rules; | changeset | files |