Diffusion Isabelle 3cc363e8bfb2

cleanup; add Apple reference
3cc363e8bfb2
Actions

Tags

None

Subscribers

None

Description

cleanup; add Apple reference

Details

Provenance

Norbert Schirmer <nschirmer@apple.com>

Authored on

Parents

rISABELLEebb0b15c66e1: refine interface

Branches

Unknown

Tags

Unknown

Event Timeline

Norbert Schirmer <nschirmer@apple.com> committed rISABELLE3cc363e8bfb2: cleanup; add Apple reference.Oct 19 2021, 10:41 AM

Changes (4)

Path

Size

src/

HOL/

Statespace/

StateSpaceEx.thy

distinct_tree_prover.ML

rISABELLE3cc363e8bfb2

src/HOL/Statespace/StateSpaceEx.thy

Loading...

src/HOL/Statespace/distinct_tree_prover.ML

Loading...

src/HOL/Statespace/state_fun.ML

Loading...

src/HOL/Statespace/state_space.ML

Loading...