-
Michal Cadilhac authored
that used `0' as the null series. The specialisation for `polynom<S, bool>' should be kept to avoid the writing of `label = 1' in Boolean automata.
92e43abd
To find the state of this project's repository at the time of any of these versions, check out the tags.