HomeIsabelle/Phabricator

Fixed a failing proof.

Description

Fixed a failing proof.

Details

Committed
paulson <lp15@cam.ac.uk>Jan 29 2020, 5:47 PM
Parents
rAFPd02b36b86039: ZFC_in_HOL Change history
Branches
Unknown
Tags
Unknown

Event Timeline