Summary
- converted splits
The file was modified | thys/DFS_Framework/Impl/Data/Restr_Impl.thy (diff) |
The file was modified | thys/DFS_Framework/Impl/Data/Simple_Impl.thy (diff) |
The file was modified | thys/DFS_Framework/Impl/Structural/Rec_Impl.thy (diff) |
The file was modified | thys/DFS_Framework/Param_DFS.thy (diff) |