jukebox-0.4.2: A first-order reasoning toolbox

Index - X

Xor 
1 (Data Constructor)Jukebox.TPTP.Lexer
2 (Data Constructor)Jukebox.Form