Summary
- merged
- Streamlining of many more archaic proofs
- clarified web app parameters: more flexible, using HTML5 id specification (nonempty unicode string with no spaces);
The file was modified | src/HOL/Decision_Procs/Commutative_Ring_Complete.thy (diff) |
The file was modified | src/HOL/Decision_Procs/MIR.thy (diff) |
The file was modified | src/HOL/Decision_Procs/Rat_Pair.thy (diff) |
The file was modified | src/Pure/System/web_app.scala (diff) |