individually open ≡-Reasoning
[~helmut/bidiragda.git] / LICENSE
2015-08-11 Helmut Grohnedeclare copyright and license