Diffusion afp-devel 00b5c6a1f1dd

changed to opaque_lifiting as suggested by Isabelle/Jenkins
00b5c6a1f1dd
Actions

Tags

None

Subscribers

None

Description

changed to opaque_lifiting as suggested by Isabelle/Jenkins

Details

Provenance

yonoteam <jonjulian23@gmail.com>

Authored on

Parents

rAFPf6308605d678: changed hide_lams for opaque_lifting as suggested by Isabelle/Jenkins

Branches

Unknown

Tags

Unknown

Event Timeline

yonoteam <jonjulian23@gmail.com> committed rAFP00b5c6a1f1dd: changed to opaque_lifiting as suggested by Isabelle/Jenkins.Jul 8 2021, 1:34 PM

Changes (5)

Path

Size

thys/

Hybrid_Systems_VCs/

HS_VC_Examples.thy

KleeneAlgebraTests/

HS_VC_KAT_Examples_rel.thy

PredicateTransformers/

HS_VC_PT_Examples.thy

Matrices_for_ODEs/

MTX_Preliminaries.thy

rAFP00b5c6a1f1dd

thys/Hybrid_Systems_VCs/HS_VC_Examples.thy

Loading...

thys/Hybrid_Systems_VCs/KleeneAlgebraTests/HS_VC_KAT_Examples_rel.thy

Loading...

thys/Hybrid_Systems_VCs/PredicateTransformers/HS_VC_PT_Examples.thy

Loading...

thys/Matrices_for_ODEs/MTX_Flows.thy

Loading...

thys/Matrices_for_ODEs/MTX_Preliminaries.thy

Loading...