| Mon, 03 Oct 2016 16:50:29 +0200 | wenzelm | basic setup for Admin/build_history -- outside of Isabelle environment; | changeset | files |
| Mon, 03 Oct 2016 16:15:59 +0200 | wenzelm | clarified: a variant of -i is the default, but its output is not as precise as it might seem; | changeset | files |
| Wed, 05 Oct 2016 21:27:21 +0200 | nipkow | merged | changeset | files |
| Wed, 05 Oct 2016 20:01:05 +0200 | nipkow | replaced floorlog by floor/ceiling(log .) | changeset | files |
| Wed, 05 Oct 2016 20:12:56 +0200 | fleury | more multiset simp rules | changeset | files |
| Wed, 05 Oct 2016 14:28:22 +0200 | fleury | tuned proof -- much faster | changeset | files |