| changeset 19871 | 88e8f6173bab |
| parent 19861 | 620d90091788 |
| child 19902 | 9e5d0df75c98 |
--- a/src/Provers/IsaPlanner/zipper.ML Tue Jun 13 15:07:58 2006 +0200 +++ b/src/Provers/IsaPlanner/zipper.ML Tue Jun 13 15:42:19 2006 +0200 @@ -452,7 +452,7 @@ | _ => [Z.Here z]; val all_td_lr = Z.lzy_search sf_all_td_lr; -val all_td_rl = Z.lzy_search sf_all_td_lr; +val all_td_rl = Z.lzy_search sf_all_td_rl; val all_bl_ur = Z.lzy_search sf_all_bl_ru; val all_bl_ru = Z.lzy_search sf_all_bl_ur;