equal
deleted
inserted
replaced
56 val vampireN : string |
56 val vampireN : string |
57 val waldmeisterN : string |
57 val waldmeisterN : string |
58 val z3_tptpN : string |
58 val z3_tptpN : string |
59 val zipperpositionN : string |
59 val zipperpositionN : string |
60 val remote_prefix : string |
60 val remote_prefix : string |
|
61 val dummy_tfxN : string |
61 |
62 |
62 val agsyhol_core_rule : string |
63 val agsyhol_core_rule : string |
63 val spass_input_rule : string |
64 val spass_input_rule : string |
64 val spass_pre_skolemize_rule : string |
65 val spass_pre_skolemize_rule : string |
65 val spass_skolemize_rule : string |
66 val spass_skolemize_rule : string |
118 val vampireN = "vampire" |
119 val vampireN = "vampire" |
119 val waldmeisterN = "waldmeister" |
120 val waldmeisterN = "waldmeister" |
120 val z3_tptpN = "z3_tptp" |
121 val z3_tptpN = "z3_tptp" |
121 val zipperpositionN = "zipperposition" |
122 val zipperpositionN = "zipperposition" |
122 val remote_prefix = "remote_" |
123 val remote_prefix = "remote_" |
|
124 val dummy_tfxN = "dummy_tfx" |
123 |
125 |
124 val agsyhol_core_rule = "__agsyhol_core" (* arbitrary *) |
126 val agsyhol_core_rule = "__agsyhol_core" (* arbitrary *) |
125 val spass_input_rule = "Inp" |
127 val spass_input_rule = "Inp" |
126 val spass_pre_skolemize_rule = "__Sko0" (* arbitrary *) |
128 val spass_pre_skolemize_rule = "__Sko0" (* arbitrary *) |
127 val spass_skolemize_rule = "__Sko" (* arbitrary *) |
129 val spass_skolemize_rule = "__Sko" (* arbitrary *) |