HomeIsabelle/Phabricator

fix for the new, simpler power_diff_1_eq

Description

fix for the new, simpler power_diff_1_eq

Details

Provenance
paulson <lp15@cam.ac.uk>Authored on
Parents
rAFP210e8c4c943d: fix Inductive_Inference
Branches
Unknown
Tags
Unknown