HomeIsabelle/Phabricator
Diffusion afp-devel 25cfc0d55518

new entry: Binary_Code_Imprimitive
25cfc0d55518
Actions

Description

new entry: Binary_Code_Imprimitive

Details

Provenance
Rene Thiemann <rene.thiemann@uibk.ac.at>Authored on
Parents
rAFPb3d3356622c7: running sort on ROOTS
Branches
Unknown
Tags
Unknown

Event Timeline

Rene Thiemann <rene.thiemann@uibk.ac.at> committed rAFP25cfc0d55518: new entry: Binary_Code_Imprimitive.Mar 16 2023, 2:40 PM

Changes (9)

PathSize

rAFP25cfc0d55518

View Options

thys/Binary_Code_Imprimitive/Binary_Code_Imprimitive.thy

Loading...
View Options

thys/Binary_Code_Imprimitive/Binary_Square_Interpretation.thy

Loading...
View Options

thys/Binary_Code_Imprimitive/ROOT

Loading...
View Options

thys/Binary_Code_Imprimitive/document/root.bib

Loading...
View Options

thys/Binary_Code_Imprimitive/document/root.tex

Loading...
View Options

thys/ROOTS

Loading...