Added one single asterisk
commit76d63e65c0ee89d3c137bf4fe9c12c2c126df018
authorBert Burgemeister <trebbu@googlemail.com>
Fri, 7 Aug 2009 16:30:53 +0000 (7 18:30 +0200)
committerBert Burgemeister <trebbu@googlemail.com>
Fri, 7 Aug 2009 16:30:53 +0000 (7 18:30 +0200)
tree6ed969681f616283cc70b0f05fefcfcf3db5c19f
parent7e1f9fb39e104714e61511011744be3372c29f6b
Added one single asterisk
clqr-conses.tex