Diffusion afp-devel 3e741a914079

Tweaked some failing proofs
3e741a914079
Actions

Tags

None

Subscribers

None

Description

Tweaked some failing proofs

Details

Provenance

paulson <lp15@cam.ac.uk>

Authored on

Parents

rAFPe2ae9549a7b0: adapted to new Sledgehammer.run_sledgehammer return type

Branches

Unknown

Tags

Unknown

Event Timeline

paulson <lp15@cam.ac.uk> committed rAFP3e741a914079: Tweaked some failing proofs.Dec 26 2021, 4:10 PM

Changes (3)

Path

Size

thys/

Inductive_Inference/

Partial_Recursive.thy

rAFP3e741a914079

thys/Inductive_Inference/LIM_BC.thy

Loading...

thys/Inductive_Inference/Partial_Recursive.thy

Loading...

thys/Inductive_Inference/Universal.thy

Loading...