merged
Description
Description
Details
Details
- Provenance
makarius Authored on - Parents
- rISABELLEd76b0f29c8fd: recovered document output from 6bc199a70bf9;
rISABELLE905abe2ed279: proper parsing of TSTP HOL lines - Branches
- Unknown
- Tags
Merged Changes
Merged Changes