Bepaalt of een gegeven tekst (hoogstwaarschijnlijk) een tijdstip is.
local p = {}; function p.is_datum(tekst) return string.match(tekst, "%a+%s%a+%s%a+%s%d+%:d+") end return p