| Sat, 05 Aug 2017 16:18:35 +0200 | paulson | more cleanup | changeset | files |
| Sat, 05 Aug 2017 12:18:25 +0200 | paulson | trying to disentangle bounded_variation_absolutely_integrable_interval | changeset | files |
| Fri, 04 Aug 2017 23:07:14 +0200 | paulson | merged | changeset | files |
| Fri, 04 Aug 2017 21:30:38 +0200 | paulson | more horrible proofs disentangled | changeset | files |
| Fri, 04 Aug 2017 08:13:00 +0200 | haftmann | tuned | changeset | files |
| Fri, 04 Aug 2017 08:12:58 +0200 | haftmann | more structural sharing between common target Generic_Target.init | changeset | files |
| Fri, 04 Aug 2017 08:12:57 +0200 | haftmann | exit always refers to the bottom of a nested local theory stack, after_close always to all non-bottom elements | changeset | files |