HomeIsabelle/Phabricator

build Isabelle SPASS component from unofficial download;

Description

build Isabelle SPASS component from unofficial download;

Details

Provenance
makariusAuthored on
Parents
rISABELLEf98f764239a4: tuned;
Branches
Unknown
Tags
Unknown