HomeIsabelle/Phabricator
Diffusion afp-devel 5786f7df9dd8

clarified session directories and theory imports;
5786f7df9dd8
Actions

Description

clarified session directories and theory imports;

Details

Provenance
makariusAuthored on
Parents
rAFPe97ee9322827: declare session directories;
Branches
Unknown
Tags
Unknown

Event Timeline

Changes (11)

PathSize
Examples/
Parser_Test/
Synology_Diskstation_DS414/
Primitive_Matchers/

rAFP5786f7df9dd8

View Options

thys/Iptables_Semantics/Code_haskell.thy

Loading...
View Options

thys/Iptables_Semantics/Example_Semantics.thy

Loading...
View Options

thys/Iptables_Semantics/Examples/Code_haskell.thy

Loading...
View Options

thys/Iptables_Semantics/Examples/Example_Semantics.thy

Loading...
View Options

thys/Iptables_Semantics/Examples/Parser_Test/Parser6_Test.thy

Loading...
View Options

thys/Iptables_Semantics/Examples/Synology_Diskstation_DS414/Analyze_Synology_Diskstation.thy

Loading...
View Options

thys/Iptables_Semantics/Primitive_Matchers/Parser6.thy

Loading...
View Options

thys/Iptables_Semantics/ROOT

Loading...