HomeIsabelle/Phabricator

Removed ML code from AFP entry

Description

Removed ML code from AFP entry

Details

Provenance
mohammadabdulazizAuthored on
Parents
rAFP0f9739670445: adapted to scala-3.1.2;
Branches
Unknown
Tags
Unknown