move code setup from Cardinality to separate theory
93ba8e3fdcdf
Actions

Description

move code setup from Cardinality to separate theory

Details

Provenance

Authored on

Parents

Branches

Unknown

Tags

Unknown

Changes (8)

Path

Size

Codegenerator_Test/

rISABELLE93ba8e3fdcdf

NEWS

src/HOL/Codegenerator_Test/Generate_Efficient_Datastructures.thy

src/HOL/Library/Cardinality.thy

src/HOL/Library/Code_Cardinality.thy

src/HOL/Library/Library.thy

move code setup from Cardinality to separate theory93ba8e3fdcdfActions

Description

Details

Changes (8)

rISABELLE93ba8e3fdcdf

NEWS

src/HOL/Codegenerator_Test/Generate_Efficient_Datastructures.thy

src/HOL/Library/Cardinality.thy

src/HOL/Library/Code_Cardinality.thy

src/HOL/Library/Library.thy

move code setup from Cardinality to separate theory
93ba8e3fdcdf
Actions