thys3/src/RegLangs.thy
2022-07-09 Christian Urban updated paper and theories to include n-times
2022-04-29 Christian Urban updated to include the paper
less more (0) tip