Skip to content
[Jenkins]Jenkins
log in
Success

Changes

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

Summary

  1. merged
  2. merged
  3. adapted to current Isabelle/ec1c0daa3fbd;
  4. adapted to current Isabelle/ec1c0daa3fbd;
  5. adapted to Isabelle/5edd5b12017d;
  6. proper morphism context;
  7. backout a8e9b33d75e1, thanks to Isabelle/f0aca0506531;
  8. proper morphism context;
  9. adapted to Isabelle/5ab5add88922;
Changeset 13476:e74d656c954e by wenzelm:
merged
Changeset 13475:bfdfdc4ec622 by wenzelm:
merged
Changeset 13474:56196e009aa3 by wenzelm:
adapted to current Isabelle/ec1c0daa3fbd;
The file was modified thys/Dependent_SIFUM_Type_Systems/Examples/TypeSystemTactics.thy
The file was modified thys/Partial_Function_MR/partial_function_mr.ML
Changeset 13473:d057ea280883 by wenzelm:
adapted to current Isabelle/ec1c0daa3fbd;
The file was modified thys/Isabelle_C/C11-FrontEnd/src/C_Lexer_Annotation.thy
Changeset 13472:5aeaa920938a by wenzelm:
adapted to Isabelle/5edd5b12017d;
The file was modified thys/Types_To_Sets_Extension/ETTS/ETTS_Lemmas.ML
Changeset 13471:34d24aa19ac7 by wenzelm:
proper morphism context;
The file was modified thys/Nominal2/nominal_function_common.ML
Changeset 13470:88780e621a30 by wenzelm:
backout a8e9b33d75e1, thanks to Isabelle/f0aca0506531;
The file was modified thys/Collections/ICF/gen_algo/Algos.thy
The file was modified thys/Featherweight_OCL/UML_State.thy
The file was modified thys/Featherweight_OCL/collection_types/UML_Set.thy
The file was modified thys/Iptables_Semantics/Primitive_Matchers/Transform.thy
The file was modified thys/Psi_Calculi/Bisim_Struct_Cong.thy
The file was modified thys/QHLProver/Complex_Matrix.thy
The file was modified thys/VectorSpace/VectorSpace.thy
Changeset 13469:86eda777a3c5 by wenzelm:
proper morphism context;
The file was modified thys/Nominal2/nominal_function_common.ML
Changeset 13468:a8e9b33d75e1 by wenzelm:
adapted to Isabelle/5ab5add88922;
The file was modified thys/Collections/ICF/gen_algo/Algos.thy
The file was modified thys/Featherweight_OCL/UML_State.thy
The file was modified thys/Featherweight_OCL/collection_types/UML_Set.thy
The file was modified thys/Iptables_Semantics/Primitive_Matchers/Transform.thy
The file was modified thys/Psi_Calculi/Bisim_Struct_Cong.thy
The file was modified thys/QHLProver/Complex_Matrix.thy
The file was modified thys/VectorSpace/VectorSpace.thy