Diffusion afp-devel 86469b8ab86e

New entry LTL_Normal_Form
86469b8ab86e
Actions

Tags

None

Subscribers

None

Description

New entry LTL_Normal_Form

Details

Provenance

Authored on

Parents

rAFP89a9dc322de1: tuned topics

Branches

Unknown

Tags

Unknown

Event Timeline

pruvisto committed rAFP86469b8ab86e: New entry LTL_Normal_Form.May 9 2020, 10:44 AM

Changes (10)

Path

Size

LTL_Normal_Form

Normal_Form.thy

Normal_Form_Code_Export.thy

Normal_Form_Complexity.thy

rAFP86469b8ab86e

thys/LTL_Normal_Form/Normal_Form.thy

Loading...

thys/LTL_Normal_Form/Normal_Form_Code_Export.thy

Loading...

thys/LTL_Normal_Form/Normal_Form_Complexity.thy

Loading...

thys/LTL_Normal_Form/ROOT

Loading...

thys/LTL_Normal_Form/document/root.bib

Loading...

thys/LTL_Normal_Form/document/root.tex

Loading...

thys/ROOTS

Loading...