2568
8193bbaa07fe
merged Nominal-General directory into Nominal; renamed Abs.thy to Nominal2_Abs.thy
Christian Urban <urbanc@in.tum.de>
diff
changeset
|
1 |
no_document use_thys ["../Nominal/Nominal2_Base",
|
8193bbaa07fe
merged Nominal-General directory into Nominal; renamed Abs.thy to Nominal2_Abs.thy
Christian Urban <urbanc@in.tum.de>
diff
changeset
|
2 |
"../Nominal/Nominal2_Eqvt",
|
8193bbaa07fe
merged Nominal-General directory into Nominal; renamed Abs.thy to Nominal2_Abs.thy
Christian Urban <urbanc@in.tum.de>
diff
changeset
|
3 |
"../Nominal/Atoms",
|
8193bbaa07fe
merged Nominal-General directory into Nominal; renamed Abs.thy to Nominal2_Abs.thy
Christian Urban <urbanc@in.tum.de>
diff
changeset
|
4 |
"../Nominal/Nominal2_Abs",
|
1785
|
5 |
"LaTeXsugar"];
|
|
6 |
|
|
7 |
use_thys ["Paper"]; |