Make ability to use "transient" (deleted on export) definitions easier for users
mn200 opened this issue · comments
Canonical sources for HOL4 theorem-proving system. Branch develop is where “mainline development” occurs; when develop passes our regression tests, master is merged forward to catch up.
mn200 opened this issue · comments