Skip to content
[Jenkins]Jenkins
log in
Success

Changes

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

Summary

  1. Fixes due to new order prover
Changeset 11712:9ce1745d994d by nipkow:
Fixes due to new order prover
The file was modified thys/Adaptive_State_Counting/ASC/ASC_Sufficiency.thy
The file was modified thys/Affine_Arithmetic/Counterclockwise_2D_Arbitrary.thy
The file was modified thys/Allen_Calculus/nest.thy
The file was modified thys/CAVA_LTL_Modelchecker/BoolProgs/BoolProgs.thy
The file was modified thys/CAVA_LTL_Modelchecker/SM/Analysis/SM_Variables.thy
The file was modified thys/Circus/Denotational_Semantics.thy
The file was modified thys/Farkas/Farkas.thy
The file was modified thys/Gabow_SCC/Gabow_GBG.thy
The file was modified thys/JinjaThreads/BV/BVSpecTypeSafe.thy
The file was modified thys/JinjaThreads/MM/DRF_JVM.thy
The file was modified thys/Median_Of_Medians_Selection/Median_Of_Medians_Selection.thy
The file was modified thys/Ordinary_Differential_Equations/Numerics/Concrete_Reachability_Analysis_C1.thy
The file was modified thys/Ordinary_Differential_Equations/Numerics/Refine_Reachability_Analysis_C1.thy
The file was modified thys/Simplex/Simplex.thy
The file was modified thys/Types_Tableaus_and_Goedels_God/AndersonProof.thy
The file was modified thys/Types_Tableaus_and_Goedels_God/FittingProof.thy
The file was modified thys/Types_Tableaus_and_Goedels_God/GoedelProof_P2.thy