Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. merged
  2. clarified signature;
  3. clarified names;
  4. clarified signature;
  5. tuned signature;
  6. tuned signature (see also 8342cba8eae8);
  7. tuned names: avoid overlap with instances of class Resources;
  8. merged
  9. file with partial function docu
  10. Added section about code generation for partial functions
  11. added lemmas sym_on_subset and symp_on_subset
  12. added lemmas sym_onD and symp_onD
  13. added lemmas sym_onI and symp_onI
  14. added lemma symp_on_sym_on_eq[pred_set_conv]
  15. added predicates sym_on and symp_on and redefined sym and symp to be abbreviations
  16. added lemmas IMGU_subst_domain_subset and IMGU_range_vars_subset
Changeset 76658:e60fd6257abe by wenzelm:
merged
Changeset 76657:a8d85b4a588c by wenzelm:
clarified signature;
The file was modified src/Pure/ML/ml_process.scala (diff)
The file was modified src/Pure/PIDE/headless.scala (diff)
The file was modified src/Pure/PIDE/resources.scala (diff)
The file was modified src/Pure/Thy/sessions.scala (diff)
The file was modified src/Pure/Tools/build_job.scala (diff)
The file was modified src/Tools/VSCode/src/vscode_resources.scala (diff)
The file was modified src/Tools/jEdit/src/jedit_resources.scala (diff)
Changeset 76656:a8f452f7c503 by wenzelm:
clarified names;
The file was modified src/Pure/Admin/build_doc.scala (diff)
The file was modified src/Pure/ML/ml_console.scala (diff)
The file was modified src/Pure/ML/ml_process.scala (diff)
The file was modified src/Pure/PIDE/document_info.scala (diff)
The file was modified src/Pure/PIDE/headless.scala (diff)
The file was modified src/Pure/System/isabelle_process.scala (diff)
The file was modified src/Pure/Thy/browser_info.scala (diff)
The file was modified src/Pure/Thy/document_build.scala (diff)
The file was modified src/Pure/Thy/export.scala (diff)
The file was modified src/Pure/Thy/sessions.scala (diff)
The file was modified src/Pure/Tools/build_job.scala (diff)
The file was modified src/Pure/Tools/server_commands.scala (diff)
The file was modified src/Tools/VSCode/src/build_vscode_extension.scala (diff)
The file was modified src/Tools/VSCode/src/language_server.scala (diff)
The file was modified src/Tools/VSCode/src/vscode_resources.scala (diff)
The file was modified src/Tools/jEdit/src/jedit_resources.scala (diff)
The file was modified src/Tools/jEdit/src/jedit_sessions.scala (diff)
Changeset 76655:b3d458a90aeb by wenzelm:
clarified signature;
The file was modified src/Pure/ML/ml_console.scala (diff)
The file was modified src/Pure/ML/ml_process.scala (diff)
The file was modified src/Pure/PIDE/headless.scala (diff)
The file was modified src/Pure/System/isabelle_process.scala (diff)
The file was modified src/Pure/Tools/build_job.scala (diff)
The file was modified src/Tools/VSCode/src/language_server.scala (diff)
The file was modified src/Tools/jEdit/src/jedit_sessions.scala (diff)
Changeset 76654:a3177042863d by wenzelm:
tuned signature;
The file was modified src/Pure/ML/ml_process.scala (diff)
The file was modified src/Pure/PIDE/resources.scala (diff)
The file was modified src/Pure/Thy/sessions.scala (diff)
The file was modified src/Pure/Tools/build_job.scala (diff)
Changeset 76653:f8b1a75dbea7 by wenzelm:
tuned signature (see also 8342cba8eae8);
The file was modified src/Pure/PIDE/resources.scala (diff)
The file was modified src/Pure/Thy/sessions.scala (diff)
Changeset 76652:90abc28523d7 by wenzelm:
tuned names: avoid overlap with instances of class Resources;
The file was modified src/Pure/Tools/jedit.ML (diff)
The file was modified src/Tools/jEdit/src/jedit_jar.scala (diff)
Changeset 76651:0cc3679999d9 by nipkow:
merged
Changeset 76650:a2c23c68f699 by nipkow:
file with partial function docu
The file was addedsrc/Doc/Codegen/Partial_Functions.thy
Changeset 76649:9a6cb5ecc183 by nipkow:
Added section about code generation for partial functions
The file was modified src/Doc/Codegen/Introduction.thy (diff)
The file was modified src/Doc/Codegen/document/root.tex (diff)
The file was modified src/Doc/Functions/Functions.thy (diff)
The file was modified src/Doc/Functions/document/intro.tex (diff)
The file was modified src/Doc/ROOT (diff)
The file was modified src/Doc/manual.bib (diff)
Changeset 76648:8fff4e4d81cb by desharna:
added lemmas sym_on_subset and symp_on_subset
The file was modified NEWS (diff)
The file was modified src/HOL/Relation.thy (diff)
Changeset 76647:3042416b2e65 by desharna:
added lemmas sym_onD and symp_onD
The file was modified NEWS (diff)
The file was modified src/HOL/Relation.thy (diff)
Changeset 76646:9bbc085fce86 by desharna:
added lemmas sym_onI and symp_onI
The file was modified NEWS (diff)
The file was modified src/HOL/Relation.thy (diff)
Changeset 76645:d616622812b2 by desharna:
added lemma symp_on_sym_on_eq[pred_set_conv]
The file was modified NEWS (diff)
The file was modified src/HOL/Relation.thy (diff)
Changeset 76644:99d6e9217586 by desharna:
added predicates sym_on and symp_on and redefined sym and symp to be abbreviations
The file was modified NEWS (diff)
The file was modified src/HOL/Relation.thy (diff)
The file was modified src/HOL/Tools/BNF/bnf_util.ML (diff)
Changeset 76643:f8826fc8c419 by desharna:
added lemmas IMGU_subst_domain_subset and IMGU_range_vars_subset
The file was modified src/HOL/ex/Unification.thy (diff)