Commit cb0c3589 authored by lengyelb's avatar lengyelb
Browse files

added copyright and some of invariant and some other minors

parent de521826