Lee Riemenschneider ed4076b5d9 Initial commit on new repository location. 6 gadi atpakaļ
..
metamodel_as_verifier.txt ed4076b5d9 Initial commit on new repository location. 6 gadi atpakaļ
static-domain-model-verification.txt ed4076b5d9 Initial commit on new repository location. 6 gadi atpakaļ
verifier-operation.txt ed4076b5d9 Initial commit on new repository location. 6 gadi atpakaļ