equal
deleted
inserted
replaced
|
1 use_thys ["Nominal_Examples"]; |
1 |
2 |
2 use_thy "Nominal_Examples"; |
3 setmp_noncritical quick_and_dirty true use_thys ["VC_Condition"]; (*FIXME*) |
3 |
|
4 setmp_noncritical quick_and_dirty true use_thy "VC_Condition"; (*FIXME*) |
|