Summary
- clarified signature;
- clarified modules;
- A few new theorems, plus some tidying up
- corrected spelling and tuned whitespace
The file was modified | src/Pure/System/scala.scala (diff) |
The file was modified | src/Tools/jEdit/src/scala_console.scala (diff) |
The file was added | src/Pure/System/scala.ML |
The file was added | src/Pure/System/scala.scala |
The file was modified | src/Pure/ROOT.ML (diff) |
The file was modified | src/Pure/Thy/bibtex.ML (diff) |
The file was modified | src/Pure/build-jars (diff) |
The file was removed | src/Pure/System/invoke_scala.ML |
The file was removed | src/Pure/System/invoke_scala.scala |
The file was modified | src/HOL/Library/Countable_Set.thy (diff) |
The file was modified | src/HOL/Library/Nat_Bijection.thy (diff) |
The file was modified | src/HOL/Library/Ramsey.thy (diff) |
The file was modified | src/HOL/List.thy (diff) |
The file was modified | src/HOL/Set.thy (diff) |
The file was modified | src/HOL/Imperative_HOL/Overview.thy (diff) |