lib/Tools/update_then
2015-09-21 wenzelm 2015-09-21 added isabelle update_then;