HomePhabricator

New library material from the AFP entry ZFC_in_HOL

Description

New library material from the AFP entry ZFC_in_HOL

Details

Committed
paulson <lp15@cam.ac.uk>Nov 12 2019, 1:33 PM
Parents
rISABELLE038727567817: tuned order between theories
Branches
Unknown
Tags
Unknown