HomeIsabelle/Phabricator
Diffusion Isabelle 974071d873ba

tuned interfaces
974071d873ba
Actions

Description

tuned interfaces

Details

Provenance
florian.haftmannAuthored on
Parents
rISABELLE13032e920fea: tuned
Branches
Unknown
Tags
Unknown

Changes (10)

PathSize
src/
Pure/
Isar/

rISABELLE974071d873ba

View Options

src/Pure/Isar/class.ML

Loading...
View Options

src/Pure/Isar/class_declaration.ML

Loading...
View Options

src/Pure/Isar/generic_target.ML

Loading...
View Options

src/Pure/Isar/interpretation.ML

Loading...
View Options

src/Pure/Isar/local_theory.ML

Loading...
View Options

src/Pure/Isar/locale.ML

Loading...
View Options

src/Pure/Isar/named_target.ML

Loading...
View Options

src/Pure/Isar/overloading.ML

Loading...
View Options

src/Pure/Isar/target_context.ML

Loading...
View Options

src/Pure/Isar/toplevel.ML

Loading...