-
Alexandre Duret-Lutz authored
src/tgbatest/ltl2tgba.cc, src/tgbatest/ltlprod.cc, src/tgbatest/mixprod.cc, src/tgbatest/powerset.cc, src/tgbatest/readsave.cc, src/tgbatest/tgbaread.cc, src/tgbatest/tripprod.cc: Add missing copyright license.
e0b15c6f
To find the state of this project's repository at the time of any of these versions, check out the tags.