Diffusion Isabelle 589645894305

bundle mixins for locale and class specifications
589645894305
Actions

Tags

None

Subscribers

None

Description

bundle mixins for locale and class specifications

Details

Provenance

florian.haftmann

Authored on

Parents

rISABELLE7cb68b5b103d: proper build_call for interpreted ARM platform;

Branches

Unknown

Tags

Unknown

Event Timeline

florian.haftmann committed rISABELLE589645894305: bundle mixins for locale and class specifications.Nov 1 2020, 4:54 PM

Changes (18)

Path

Size

Doc/

Implementation/

Local_Theory.thy

Library/

Statespace/

Perm_Fragments.thy

Specifications_with_bundle_mixins.thy

Pure/

Isar/

class_declaration.ML

interpretation.ML

named_target.ML

target_context.ML

rISABELLE589645894305

src/Doc/Implementation/Local_Theory.thy

Loading...

src/HOL/Library/Perm.thy

Loading...

src/HOL/ROOT

Loading...

src/HOL/Statespace/state_space.ML

Loading...

src/HOL/ex/Perm_Fragments.thy

Loading...

src/HOL/ex/Specifications_with_bundle_mixins.thy

Loading...

src/Pure/Isar/class_declaration.ML

Loading...

src/Pure/Isar/experiment.ML

Loading...

src/Pure/Isar/expression.ML

Loading...

src/Pure/Isar/interpretation.ML

Loading...

src/Pure/Isar/named_target.ML

Loading...

src/Pure/Isar/parse_spec.ML

Loading...

src/Pure/Isar/target_context.ML

Loading...

src/Pure/Pure.thy

Loading...

src/Pure/ROOT.ML

Loading...