HomeIsabelle/Phabricator
Diffusion afp-devel 97a30577e8c7

new entry Q0_Metatheory
97a30577e8c7
Actions

Description

new entry Q0_Metatheory

Details

Provenance
traytelAuthored on
Parents
rAFPea95de92456a: Perfect_Fields and Elimination_Of_Repeated_Factors incl sitegen
Branches
Unknown
Tags
Unknown

Changes (16)

PathSize

rAFP97a30577e8c7

View Options

thys/Q0_Metatheory/Boolean_Algebra.thy

Loading...
View Options

thys/Q0_Metatheory/Consistency.thy

Loading...
View Options

thys/Q0_Metatheory/Elementary_Logic.thy

Loading...
View Options

thys/Q0_Metatheory/Proof_System.thy

Loading...
View Options

thys/Q0_Metatheory/Propositional_Wff.thy

Loading...
View Options

thys/Q0_Metatheory/ROOT

Loading...
View Options

thys/Q0_Metatheory/Semantics.thy

Loading...
View Options

thys/Q0_Metatheory/Soundness.thy

Loading...
View Options

thys/Q0_Metatheory/Syntax.thy

Loading...
View Options

thys/Q0_Metatheory/Utilities.thy

Loading...
View Options

thys/Q0_Metatheory/document/root.bib

Loading...
View Options

thys/Q0_Metatheory/document/root.tex

Loading...
View Options

thys/ROOTS

Loading...