Summary
- merged
- doc for comp. ind.
- tuned signature
The file was modified | src/Doc/Prog_Prove/Isar.thy (diff) |
The file was modified | src/HOL/Tools/BNF/bnf_comp.ML (diff) |
The file was modified | src/Doc/Prog_Prove/Isar.thy (diff) |
The file was modified | src/HOL/Tools/BNF/bnf_comp.ML (diff) |