else [])@
[GA.Executable(floc,GA.NTactic(floc, [
if (*ueq_case*) true then
else [])@
[GA.Executable(floc,GA.NTactic(floc, [
if (*ueq_case*) true then
else [])@
[GA.Executable(floc,GA.Tactic(floc, Some (
if true (*ueq_case*) then
else [])@
[GA.Executable(floc,GA.Tactic(floc, Some (
if true (*ueq_case*) then
- GA.AutoBatch (floc,([],["paramodulation","";
+ GA.AutoBatch (floc,(None,["paramodulation","";