Summary
- Dict_Construction: improve name mangling
The file was modified | thys/Dict_Construction/Test_Dict_Construction.thy (diff) |
The file was modified | thys/Dict_Construction/class_graph.ML (diff) |
The file was modified | thys/Dict_Construction/Test_Dict_Construction.thy (diff) |
The file was modified | thys/Dict_Construction/class_graph.ML (diff) |