HomeIsabelle/Phabricator

Modify test so that it works if int is IntInf.int.

Authored by dcjm on Jul 13 2020, 7:24 PM.

Description

Modify test so that it works if int is IntInf.int.

Details

Committed
dcjmJul 13 2020, 7:24 PM
Parents
rPOLYMLfb10196d998b: Convert single bindings from mutual recursion into simple bindings.
Branches
Unknown
Tags
Unknown