HomeIsabelle/Phabricator
Diffusion afp-devel 1c25a24f6628

new entry Syntax_Independent_Logic
1c25a24f6628
Actions

Description

new entry Syntax_Independent_Logic

Details

Provenance
paulson <lp15@cam.ac.uk>Authored on
Parents
rAFP32a273a24cd4: new entry: Inference of Extended Finite State Machines
Branches
Unknown
Tags
Unknown

Changes (15)

PathSize

rAFP1c25a24f6628

View Options

thys/ROOTS

Loading...
View Options

thys/Syntax_Independent_Logic/Deduction.thy

Loading...
View Options

thys/Syntax_Independent_Logic/Deduction_Q.thy

Loading...
View Options

thys/Syntax_Independent_Logic/Natural_Deduction.thy

Loading...
View Options

thys/Syntax_Independent_Logic/Prelim.thy

Loading...
View Options

thys/Syntax_Independent_Logic/Pseudo_Term.thy

Loading...
View Options

thys/Syntax_Independent_Logic/ROOT

Loading...
View Options

thys/Syntax_Independent_Logic/Standard_Model.thy

Loading...
View Options

thys/Syntax_Independent_Logic/Syntax.thy

Loading...
View Options

thys/Syntax_Independent_Logic/Syntax_Arith.thy

Loading...
View Options

thys/Syntax_Independent_Logic/document/root.bib

Loading...
View Options

thys/Syntax_Independent_Logic/document/root.tex

Loading...