Diffusion Isabelle 785610ad6bfa

export spec rules;
785610ad6bfa
Actions

Tags

None

Subscribers

None

Description

export spec rules;

Details

Provenance

Authored on

Parents

rISABELLE8331063570d6: bit accessor and fundamental properties

Branches

Unknown

Tags

Unknown

Event Timeline

wenzelm committed rISABELLE785610ad6bfa: export spec rules;.Nov 30 2019, 3:17 PM

Changes (3)

Path

Size

src/

Pure/

Isar/

Thy/

export_theory.ML

export_theory.scala

rISABELLE785610ad6bfa

src/Pure/Isar/spec_rules.ML

Loading...

src/Pure/Thy/export_theory.ML

Loading...

src/Pure/Thy/export_theory.scala

Loading...