-
Alexandre Duret-Lutz authored
src/ltlvisit/formlength.cc, src/ltlvisit/reducform.cc, src/ltlvisit/reducform.hh: Fix copyright year, these files were created in 2004.
69169970
To find the state of this project's repository at the time of any of these versions, check out the tags.