When providing a *.bib file in the ROOT of a theory, one can use the antiquotation @{cite REF}
in Isabelle theories. How do you use that practically, and where can one find documentation about it? e.g. look at the first reference in Floyd_Warshall.Floyd_Warshall from the AFP.
How does Isabelle/JEdit react on those antiquotations? It seems that Isabelle/JEdit looks through *.bib files opened in a buffer, not the ones mentioned in the respective ROOT file.
Last updated: Dec 07 2024 at 16:22 UTC