The files `theories/hol/hol_sttfa.dk` and `interoperability/hol_sttfa/hol_sttfa.dk` are very close. Is this just an impression? Can I delete one of them?
The files
theories/hol/hol_sttfa.dkandinteroperability/hol_sttfa/hol_sttfa.dkare very close.Is this just an impression? Can I delete one of them?