maximilian p.l. haslbeck (Sep 17 2020 at 14:59): maximilian p.l. haslbeck (Sep 17 2020 at 14:59):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.
maximilian p.l. haslbeck (Sep 17 2020 at 15:00):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 21 2024 at 16:20 UTC