HomeIsabelle/Phabricator
Diffusion afp-devel 2f55c21c3d3d

Add missing spaces in semantics_tm.
2f55c21c3d3d
Actions

Description

Add missing spaces in semantics_tm.

Details

Provenance
Asta Halkjær From <andro.from@gmail.com>Authored on
Parents
rAFP9c5a5af856b8: No space in front of object-logic forall.
Branches
Unknown
Tags
Unknown

Event Timeline

Asta Halkjær From <andro.from@gmail.com> committed rAFP2f55c21c3d3d: Add missing spaces in semantics_tm..Dec 1 2021, 4:38 PM

Changes (1)

PathSize
thys/
FOL_Axiomatic/

rAFP2f55c21c3d3d

View Options

thys/FOL_Axiomatic/FOL_Axiomatic.thy

Loading...