thys2/Journal/RegLangs.tex
changeset 369 e00950ba4514