• Andrei Paskevich's avatar
    revise split transformations · 03bb57a2
    Andrei Paskevich authored
    Provide nine transformations: split_(goal|all|premise)_(full|right|wp).
    split_*_full splits as far as it can, split_*_right produces linear
    number of subformulas, split_*_wp stops at the "stop_split" label.
    The name "split_goal" is kept for compatibility with older session
    files and denotes the same transformation as "split_goal_wp".
    
    Thanks to Johannes Kanig for the suggestion.
    03bb57a2
Name
Last commit
Last update
bench Loading commit data...
bin Loading commit data...
comparison Loading commit data...
doc Loading commit data...
drivers Loading commit data...
examples Loading commit data...
lib Loading commit data...
misc Loading commit data...
modules Loading commit data...
plugins Loading commit data...
share Loading commit data...
src Loading commit data...
tests Loading commit data...
theories Loading commit data...
.gitignore Loading commit data...
CHANGES Loading commit data...
DEVELOPER.readme Loading commit data...
INSTALL Loading commit data...
LICENSE Loading commit data...
META.in Loading commit data...
Makefile.in Loading commit data...
OCAML-LICENSE Loading commit data...
README Loading commit data...
ROADMAP Loading commit data...
TODO Loading commit data...
Version Loading commit data...
configure.in Loading commit data...