Mon, 27 Oct 2014 16:00:04 +0100 | wenzelm | ISABELLE_JAVA_EXT is obsolete; | changeset | files |
Mon, 27 Oct 2014 12:21:24 +0100 | hoelzl | further generalization of natfloor_div_nat | changeset | files |
Mon, 27 Oct 2014 12:03:13 +0100 | hoelzl | generalize natfloor_div_nat, add floor variant: floor_divide_real_eq_div | changeset | files |