equal
deleted
inserted
replaced
1 no_document use_thys ["../Nominal/Nominal2_Base", |
|
2 "../Nominal/Atoms", |
|
3 "../Nominal/Nominal2_Abs", |
|
4 "LaTeXsugar"]; |
|
5 |
1 |
6 use_thys ["Paper"]; |
2 use_thys ["../Nominal/Nominal2_Base", |
|
3 "../Nominal/Atoms", |
|
4 "../Nominal/Nominal2_Abs", |
|
5 "LaTeXsugar"]; |