# | Line 4 | Line 4 | |
---|---|---|
4 | <use name=MitAna/TAM> | |
5 | <use name=MitAna/DataTree> | |
6 | <use name=MitAna/DataUtil> | |
7 | + | <use name=MitAna/Catalog> |
8 | <use root> | |
9 | <lib name=Proof> | |
10 | <export> | |
# | Line 11 | Line 12 | |
12 | <use name=MitAna/TAM> | |
13 | <use name=MitAna/DataTree> | |
14 | <use name=MitAna/DataUtil> | |
15 | + | <use name=MitAna/Catalog> |
16 | <use root> | |
17 | </export> |
– | Removed lines |
+ | Added lines |
< | Changed lines |
> | Changed lines |