Diffusion Isabelle c1583aa3d861

updated to Zipperposition 2.1
c1583aa3d861
Actions

Tags

None

Subscribers

None

Description

updated to Zipperposition 2.1

Details

Provenance

Authored on

Parents

rISABELLEd5e034f2c109: fixed veriT environment variable in sledgehammer's documentation

Branches

Unknown

Tags

Unknown

Event Timeline

desharna committed rISABELLEc1583aa3d861: updated to Zipperposition 2.1.Sep 28 2021, 12:35 PM

Changes (2)

Path

Size

Admin/

components/

src/

HOL/

Tools/

Sledgehammer/

sledgehammer_atp_systems.ML

rISABELLEc1583aa3d861

Admin/components/main

Loading...

src/HOL/Tools/Sledgehammer/sledgehammer_atp_systems.ML

Loading...