Home
last modified time | relevance | path

Searched refs:__Grounding__ (Results 1 – 1 of 1) sorted by relevance

/dports/math/vampire/vampire-4.5.1/Shell/
H A DGrounding.hpp24 #ifndef __Grounding__
25 #define __Grounding__ macro