thys3/src/RegLangs.thy
2022-04-29 Christian Urban updated to include the paper
less more (0) tip