better closeup and more consistent terminology
4f4695757980
Actions

Description

better closeup and more consistent terminology

Details

Provenance

Authored on

Parents

Branches

Unknown

Tags

Unknown

Changes (7)

Path

Size

src/

FOL/

HOL/

Library/

Provers/

ZF/

rISABELLE4f4695757980

src/FOL/FOL.thy

src/HOL/HOL.thy

src/HOL/Library/Quantified_Premise_Simproc.thy

src/HOL/Set.thy

src/Provers/quantifier1.ML

src/ZF/OrdQuant.thy

better closeup and more consistent terminology4f4695757980Actions

Description

Details

Changes (7)

rISABELLE4f4695757980

src/FOL/FOL.thy

src/HOL/HOL.thy

src/HOL/Library/Quantified_Premise_Simproc.thy

src/HOL/Set.thy

src/Provers/quantifier1.ML

src/ZF/OrdQuant.thy

src/ZF/pair.thy

better closeup and more consistent terminology
4f4695757980
Actions