thys2/RegLangs.thy
changeset 395 5bffeacdf17e
parent 365 ec5e4fe4cc70