]>
matita.cs.unibo.it Git - helm.git/blobdiff - helm/software/components/grafite_parser/grafiteParser.ml
auto_fixed_param: [
[ IDENT "paramodulation"
| IDENT "fast_paramod"
auto_fixed_param: [
[ IDENT "paramodulation"
| IDENT "fast_paramod"
| IDENT "slir"
| IDENT "depth"
| IDENT "width"
| IDENT "slir"
| IDENT "depth"
| IDENT "width"