Tests

git-svn-id: https://svn.lvk.cs.msu.su/axiomlib/branches/armkor@209 08e97c73-d1ae-4023-87e5-8c5be0462271
Not correct save Priority.cpp

git-svn-id: https://svn.lvk.cs.msu.su/axiomlib/branches/armkor@210 08e97c73-d1ae-4023-87e5-8c5be0462271
System of axiom for multimarking

git-svn-id: https://svn.lvk.cs.msu.su/axiomlib/branches/armkor@211 08e97c73-d1ae-4023-87e5-8c5be0462271