lwriemen/shlaer-mellor-metamodel-verifier: Domain responsible for verifying a Shlaer-Mellor model against the shlaer-mellor-metamodel project. @ 240ecd954f2e68b454dac8234903f4c5d20ae79c

Lee Riemenschneider ed4076b5d9 Initial commit on new repository location.		%!s(int64=6) %!d(string=hai) anos
..
metamodel_as_verifier.txt	ed4076b5d9 Initial commit on new repository location.	%!s(int64=6) %!d(string=hai) anos
static-domain-model-verification.txt	ed4076b5d9 Initial commit on new repository location.	%!s(int64=6) %!d(string=hai) anos
verifier-operation.txt	ed4076b5d9 Initial commit on new repository location.	%!s(int64=6) %!d(string=hai) anos