Summary
- merged
- less resetting of local theories
The file was modified | src/HOL/Library/bnf_axiomatization.ML (diff) |
The file was modified | src/HOL/Tools/Transfer/transfer_bnf.ML (diff) |
The file was modified | src/HOL/Library/bnf_axiomatization.ML (diff) |
The file was modified | src/HOL/Tools/Transfer/transfer_bnf.ML (diff) |