HomeIsabelle/Phabricator
Diffusion Isabelle ebb0b15c66e1

refine interface
ebb0b15c66e1
Actions

Description

refine interface

Details

Provenance
Norbert Schirmer <nschirmer@apple.com>Authored on
Parents
rISABELLE5ac762b53119: generalized component lookup for syntax and distinctness proofs. added some…
Branches
Unknown
Tags
Unknown

Event Timeline

Norbert Schirmer <nschirmer@apple.com> committed rISABELLEebb0b15c66e1: refine interface.Jul 15 2021, 8:09 AM

Changes (1)

PathSize
src/
HOL/
Statespace/

rISABELLEebb0b15c66e1

View Options

src/HOL/Statespace/distinct_tree_prover.ML

Loading...