isabelle update -u cite;
Description
Description
Details
Details
- Provenance
makarius Authored on - Parents
- rAFP1e054c418790: more accurate root.bib, based on original \bibitem entries in root.tex…
- Branches
- Unknown
- Tags
isabelle update -u cite; Tags None Subscribers None |