Summary
- Dict_Construction: extend supported fragment
- Dict_Construction: extend supported fragment
The file was modified | thys/Dict_Construction/Dict_Construction.thy (diff) |
The file was modified | thys/Dict_Construction/Test_Dict_Construction.thy (diff) |
The file was modified | thys/Dict_Construction/dict_construction.ML (diff) |
The file was modified | thys/Dict_Construction/dict_construction_util.ML (diff) |
The file was modified | thys/Dict_Construction/ROOT (diff) |
The file was modified | thys/Dict_Construction/Test_Dict_Construction.thy (diff) |
The file was modified | thys/Dict_Construction/dict_construction.ML (diff) |
The file was modified | thys/Dict_Construction/dict_construction_util.ML (diff) |