Is it possible to restrict the search to a certain set of AFP entries. E.g. only for Nominal2?

also, the "Remove results from this theory" does not work

Ah, no it does, but only for the next search

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?

(deleted)

Last updated: Dec 07 2023 at 16:21 UTC