Summary
- explicit theory_qualifier for sessions with shared sources;
The file was modified | thys/Algebraic_Numbers/ROOT (diff) |
The file was modified | thys/Landau_Symbols/ROOT (diff) |
The file was modified | thys/Refine_Imperative_HOL/ROOT (diff) |
The file was modified | thys/Algebraic_Numbers/ROOT (diff) |
The file was modified | thys/Landau_Symbols/ROOT (diff) |
The file was modified | thys/Refine_Imperative_HOL/ROOT (diff) |