Diffusion afp-devel 210e8c4c943d

fix Inductive_Inference
210e8c4c943d
Actions

Tags

None

Subscribers

None

Description

fix Inductive_Inference

Details

Provenance

Lars Hupel <lars.hupel@mytum.de>

Authored on

Parents

rAFPefbce6681b7a: dropped junk

Branches

Unknown

Tags

Unknown

Event Timeline

Lars Hupel <lars.hupel@mytum.de> committed rAFP210e8c4c943d: fix Inductive_Inference.Sep 17 2020, 10:04 PM

Changes (3)

Path

Size

thys/

Inductive_Inference/

Standard_Results.thy

rAFP210e8c4c943d

thys/Inductive_Inference/Lemma_R.thy

Loading...

thys/Inductive_Inference/Standard_Results.thy

Loading...

thys/Inductive_Inference/Universal.thy

Loading...