Update LSyntax.thy