Diffusion afp-devel 9e98a218999b

fixed proof following Isabelle/8fff4e4d81cb
9e98a218999b
Actions

Tags

None

Subscribers

None

Description

fixed proof following Isabelle/8fff4e4d81cb

Details

Provenance

Authored on

Parents

rAFPcb0ee28dc6c8: removed Restricted_Predicates.antisymp_on following the introduction of…

Branches

Unknown

Tags

Unknown

Event Timeline

desharna committed rAFP9e98a218999b: fixed proof following Isabelle/8fff4e4d81cb.Dec 16 2022, 5:17 PM

Changes (1)

Path

Size

thys/

Modal_Logics_for_NTS/

Transition_System.thy

rAFP9e98a218999b

thys/Modal_Logics_for_NTS/Transition_System.thy

Loading...