Home
last modified time | relevance | path

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

/dports/math/vampire/vampire-4.5.1/Kernel/
H A DFormula.hpp27 #ifndef __Formula__
28 #define __Formula__ macro