Add a bundle no_UTP_lattice_syntax to switch off UTP lattice syntax#8

RandallYe wants to merge 1 commit intomainisabelle-utp/UTP:mainfrom

no_utp_lattice_syntaxisabelle-utp/UTP:no_utp_lattice_syntaxCopy head branch name to clipboard