Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Changes from Mercurial (hg http://isabelle.in.tum.de/repos/isabelle/ default)

Summary

  1. merged
  2. NEWS
  3. set up code generation for fset
  4. redefined FSet.fBall and FSet.fBex as abbreviations based on Set.Ball and Set.Bex
Changeset 78120:a8e5cefeb3ab by desharna:
merged
Changeset 78119:6f43068a71d1 by desharna:
NEWS
The file was modified NEWS
Changeset 78118:84a7a0029c82 by desharna:
set up code generation for fset
The file was modified src/HOL/Library/FSet.thy
Changeset 78117:7735645667f0 by desharna:
redefined FSet.fBall and FSet.fBex as abbreviations based on Set.Ball and Set.Bex
The file was modified src/HOL/Library/FSet.thy
The file was modified src/HOL/Library/Finite_Map.thy

Changes from Mercurial (hg https://foss.heptapod.net/isa-afp/afp-devel/ default)

Summary

  1. adapted to Isabelle/84a7a0029c82
Changeset 13490:fccdd28b5d84 by desharna:
adapted to Isabelle/84a7a0029c82
The file was modified thys/CakeML_Codegen/Rewriting/Rewriting_Nterm.thy
The file was modified thys/CakeML_Codegen/Rewriting/Rewriting_Pterm_Elim.thy
The file was modified thys/Coinductive_Languages/Context_Free_Grammar.thy
The file was modified thys/Extended_Finite_State_Machine_Inference/Inference.thy
The file was modified thys/Extended_Finite_State_Machine_Inference/code-targets/Code_Target_FSet.thy
The file was modified thys/Extended_Finite_State_Machines/EFSM.thy
The file was modified thys/Extended_Finite_State_Machines/EFSM_LTL.thy
The file was modified thys/FO_Theory_Rewriting/FOL_Extra.thy
The file was modified thys/Higher_Order_Terms/Term_to_Nterm.thy
The file was modified thys/LTL/Disjunctive_Normal_Form.thy
The file was modified thys/Monomorphic_Monad/Monomorphic_Monad.thy
The file was modified thys/Regular_Tree_Relations/RR2_Infinite.thy
The file was modified thys/Regular_Tree_Relations/RRn_Automata.thy
The file was modified thys/Regular_Tree_Relations/Tree_Automata/Tree_Automata.thy
The file was modified thys/Ribbon_Proofs/More_Finite_Map.thy
The file was modified thys/Ribbon_Proofs/Ribbons_Graphical_Soundness.thy
The file was modified thys/Shadow_DOM/Shadow_DOM.thy
The file was modified thys/Shadow_SC_DOM/Shadow_DOM.thy