HomeIsabelle/Phabricator
Diffusion afp-devel 4c8bd587b4b0

Reintroduce type signatures.
4c8bd587b4b0
Actions

Description

Reintroduce type signatures.

Details

Provenance
Asta Halkjær From <andro.from@gmail.com>Authored on
Parents
rAFP48b40c0c94af: Switch to simultaneous substitutions.
Branches
Unknown
Tags
Unknown

Event Timeline

Asta Halkjær From <andro.from@gmail.com> committed rAFP4c8bd587b4b0: Reintroduce type signatures..Aug 23 2022, 4:12 PM

Changes (1)

PathSize
thys/
FOL_Seq_Calc3/

rAFP4c8bd587b4b0

View Options

thys/FOL_Seq_Calc3/Syntax.thy

Loading...