Summary
- tuned signature;
- clarified classical rules;
The file was modified | src/Pure/Admin/build_doc.scala (diff) |
The file was modified | src/Pure/Admin/build_history.scala (diff) |
The file was modified | src/Pure/Admin/build_polyml.scala (diff) |
The file was modified | src/Pure/Admin/build_release.scala (diff) |
The file was modified | src/Pure/Admin/isabelle_cronjob.scala (diff) |
The file was modified | src/Pure/System/progress.scala (diff) |
The file was modified | src/Pure/Tools/build.scala (diff) |
The file was modified | src/Tools/jEdit/src/jedit_sessions.scala (diff) |
The file was modified | src/HOL/Isar_Examples/Higher_Order_Logic.thy (diff) |