Lars Hupel
Frank S. Thomas
Alexandre Archambault
2018-10-02
Minor changes
<ul>
<li>loaded theory check now takes session qualifier into account (#72, 42b1a64)</li>
<li>pull up-to-date AFP artifact (c8f7413)</li>
</ul>
https://doi.org/10.5281/zenodo.1442579
oai:zenodo.org:1442579
Zenodo
https://github.com/larsrh/libisabelle/tree/v1.0.1
https://doi.org/10.5281/zenodo.591695
info:eu-repo/semantics/openAccess
Other (Open)
larsrh/libisabelle: libisabelle 1.0.1
info:eu-repo/semantics/other