deal with new-style Vampire skolemization in reconstructed Isar proofs
Description
Description
Details
Details
- Provenance
blanchette Authored on - Parents
- rISABELLEbf377e10ff3b: database performance tuning: prefer light-weight IPC over heavy-duty…
- Branches
- Unknown
- Tags