Diffusion afp-devel 19511710a590

new entry PAPP_Impossibility
19511710a590
Actions

Tags

None

Subscribers

None

Description

new entry PAPP_Impossibility

Details

Provenance

Andreas Lochbihler <mail@andreas-lochbihler.de>

Authored on

Parents

rAFP7c35ca18de56: remove old .sitegen-ignore and mention AFP chapter in submission guidelines;

Branches

Unknown

Tags

Unknown

Event Timeline

Andreas Lochbihler <mail@andreas-lochbihler.de> committed rAFP19511710a590: new entry PAPP_Impossibility.Nov 18 2022, 10:21 AM

Changes (21)

Path

Size

PAPP_Impossibility

#Anonymous_PAPP_Lowering.thy#

Anonymous_PAPP.thy

Anonymous_PAPP_Lowering.thy

PAPP_Impossibility.thy

PAPP_Impossibility_Base_Case.thy

PAPP_Multiset_Extras.thy

papp_impossibility.ML

papp_impossibility.grat.xz

rAFP19511710a590

thys/PAPP_Impossibility/#Anonymous_PAPP_Lowering.thy#

Loading...

thys/PAPP_Impossibility/#ROOT#

Loading...

thys/PAPP_Impossibility/Anonymous_PAPP.thy

Loading...

thys/PAPP_Impossibility/Anonymous_PAPP_Lowering.thy

Loading...

thys/PAPP_Impossibility/PAPP_Impossibility.thy

Loading...

thys/PAPP_Impossibility/PAPP_Impossibility_Base_Case.thy

Loading...

thys/PAPP_Impossibility/PAPP_Multiset_Extras.thy

Loading...

thys/PAPP_Impossibility/ROOT

Loading...

thys/PAPP_Impossibility/SAT_Replay.thy

Loading...

thys/PAPP_Impossibility/array_map.ML

Loading...

thys/PAPP_Impossibility/document/root.bib

Loading...

thys/PAPP_Impossibility/document/root.tex

Loading...

thys/PAPP_Impossibility/papp_impossibility.ML

Loading...

thys/PAPP_Impossibility/sat_data/papp_impossibility.grat.xz

Loading...

thys/PAPP_Impossibility/sat_data/profiles

Loading...

thys/PAPP_Impossibility/sat_replay.ML

Loading...

thys/ROOTS

Loading...