Diffusion afp-devel edc3ffeb8c5e

Renaming synthesized formulas
edc3ffeb8c5e
Actions

Tags

None

Subscribers

None

Description

Renaming synthesized formulas

Details

Provenance

Authored on

Parents

rAFPb1e98098b68a: prefer (smt (verit)), which is potentially more stable under heavy load;

Branches

Unknown

Tags

Unknown

Event Timeline

sterraf committed rAFPedc3ffeb8c5e: Renaming synthesized formulas.Sep 17 2022, 2:42 PM

Changes (8)

Path

Size

thys/

Independence_CH/

Definitions_Main.thy

Fm_Definitions.thy

Powerset_Axiom.thy

Replacement_Instances.thy

ZF_Trans_Interpretations.thy

document/

rAFPedc3ffeb8c5e

thys/Independence_CH/Definitions_Main.thy

Loading...

thys/Independence_CH/Fm_Definitions.thy

Loading...

thys/Independence_CH/Interface.thy

Loading...

thys/Independence_CH/Names.thy

Loading...

thys/Independence_CH/Powerset_Axiom.thy

Loading...

thys/Independence_CH/Replacement_Instances.thy

Loading...

thys/Independence_CH/ZF_Trans_Interpretations.thy

Loading...

thys/Independence_CH/document/root.tex

Loading...