Summary
- backed out unintended effects of 8355a6e2df79 in src/HOL/Algebra
- more complete program generation in presence of dictionaries
The file was modified | src/HOL/Algebra/Coset.thy (diff) |
The file was modified | src/Tools/Code/code_runtime.ML (diff) |
The file was modified | src/HOL/Algebra/Coset.thy (diff) |
The file was modified | src/Tools/Code/code_runtime.ML (diff) |