HomeIsabelle/Phabricator
Diffusion afp-devel 5333b8ad7d60

Undo accidental changes.
5333b8ad7d60
Actions

Description

Undo accidental changes.

Details

Provenance
Asta Halkjær From <andro.from@gmail.com>Authored on
Parents
rAFPdec6b76379ea: Tuned.
Branches
Unknown
Tags
Unknown

Event Timeline

Asta Halkjær From <andro.from@gmail.com> committed rAFP5333b8ad7d60: Undo accidental changes..Jul 6 2022, 1:59 PM

Changes (2)

PathSize
thys/
Abstract_Completeness/
Completeness/

rAFP5333b8ad7d60

View Options

thys/Abstract_Completeness/Abstract_Completeness.thy

Loading...
View Options

thys/Completeness/Completeness.thy

Loading...