HomeIsabelle/Phabricator

use lhd and lnull rather than lnth 0 and llength = 0 in IsaFoL