Jan van Brügge (Apr 23 2021 at 17:05): Jan van Brügge (Apr 23 2021 at 17:05):Is it possible to restrict the search to a certain set of AFP entries. E.g. only for Nominal2?
Jan van Brügge (Apr 23 2021 at 17:12):also, the "Remove results from this theory" does not work
Jan van Brügge (Apr 23 2021 at 20:47):Ah, no it does, but only for the next search
Angeliki Koutsoukou-Argyraki (May 05 2021 at 22:27):Hi @Jan van Brügge You can restrict to one (or more) AFP topics, for example Algebra (AFP/Mathematics/Algebra), Geometry (AFP/Mathematics/Geometry) etc.
If you already know more specifically what you need, like the set of the AFP entries (I assume you mean different theories from the same entry, right?) I suggest you type this in the "keywords" , that should do the trick. In particular I just tried searching with only "nominal2" in the keywords and it returns a bunch of results from the AFP from Nominal2.Nominal2_Abs, Nominal2.Nominal2_Base... If you want to make this more specific, you can try adding more keywords. Does this help?
Yiannos (May 05 2021 at 22:54):(deleted)
Last updated: Apr 25 2024 at 01:08 UTC