| Fri, 01 Apr 2016 17:14:27 +0200 | wenzelm | removed redundant Position.set_range -- already done in Position.range; | changeset | files |
| Fri, 01 Apr 2016 17:13:40 +0200 | wenzelm | lower threshold -- command timing for proofs is cumulative, e.g. HOL 672 ~> 8889; | changeset | files |
| Fri, 01 Apr 2016 17:00:18 +0200 | wenzelm | less bulky timing information, e.g. HOL 56913 ~> 672; | changeset | files |