equal
deleted
inserted
replaced
20 |
20 |
21 no_document use_thy "NatPair"; |
21 no_document use_thy "NatPair"; |
22 use_thy "DenumRat"; |
22 use_thy "DenumRat"; |
23 |
23 |
24 use_thy "Ferrante_Rackoff_Ex"; |
24 use_thy "Ferrante_Rackoff_Ex"; |
|
25 use_thy "MIR"; |
|
26 use_thy "ReflectedFerrack"; |