HomeIsabelle/Phabricator
Diffusion afp-devel bf120ce6a2ff

New entry ResiduatedTransitionSystem
bf120ce6a2ff
Actions

Description

New entry ResiduatedTransitionSystem

Details

Provenance
nipkowAuthored on
Parents
rAFPdeb6c18fa953: Transitive_Models webpage
Branches
Unknown
Tags
Unknown

Changes (17)

PathSize
metadata/

rAFPbf120ce6a2ff

View Options

metadata/metadata

Loading...
View Options

thys/ROOTS

Loading...
View Options

thys/ResiduatedTransitionSystem/LambdaCalculus.thy

Loading...
View Options

thys/ResiduatedTransitionSystem/ROOT

Loading...
View Options

thys/ResiduatedTransitionSystem/ResiduatedTransitionSystem.thy

Loading...
View Options

thys/ResiduatedTransitionSystem/document/root.bib

Loading...
View Options

thys/ResiduatedTransitionSystem/document/root.tex

Loading...
View Options

web/entries/ResiduatedTransitionSystem.html

Loading...
View Options

web/index.html

Loading...
View Options

web/rss.xml

Loading...
View Options

web/statistics.html

Loading...
View Options

web/topics.html

Loading...